Ash.SatSolver.solve_expression

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

solve_expression(expression)

View Source