Ash.SatSolver.fully_simplify

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

fully_simplify(expression)

View Source