class pymzn.Gecode(mzn_path='mzn-gecode', fzn_path='fzn-gecode', globals_dir='gecode')

Interface to the Gecode solver.

  • mzn_path (str) – The path to the mzn-gecode executable.
  • fzn_path (str) – The path to the fzn-gecode executable.
  • globals_dir (str) – The path to the directory for global included files.


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