mercury/samples/solver_types
