pymzn.Opturion

class pymzn.Opturion(path='fzn-cpx', globals_dir='opturion-cpx')

Interface to the Opturion CPX solver.

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

Methods

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