Ash.SatSolver.transform_and_solve

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

transform_and_solve(resource, expression)

View Source