pymzn.Optimathsat

class pymzn.Optimathsat(path='optimathsat', globals_dir='std')

Interface to the Optimathsat solver.

Parameters:
  • path (str) – The path to the optimathsat executable.
  • globals_dir (str) – The path to the directory for global included files.

Methods

args(fzn_file, *args, **kwargs) Returns the command line arguments to start the solver
solve(*args[, statistics]) Solve a problem encoded with MiniZinc/FlatZinc.
solve_start(*args, **kwargs) Like solve, but returns a started Process