Ash.SatSolver.Csp.solve

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