pymzn.Optimathsat

class pymzn.Optimathsat(solver_id='optimathsat')

Interface to the Optimathsat solver.

Methods

args([all_solutions, num_solutions, …]) Returns a list of command line arguments for the specified options.
parser() This function should return a new instance of the solver parser.