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.