Ash.SatSolver.solve

You're seeing just the function solve, go back to Ash.SatSolver module for more information.