pymzn.optimathsat

pymzn.optimathsat = <pymzn.mzn.solvers.Optimathsat object>

Default Optimathsat instance.