pymzn.G12Solver

class pymzn.G12Solver(mzn_path='mzn-g12fd', fzn_path='flatzinc', globals_dir='g12_fd', backend=None)

Interface to a generic G12 solver.

Parameters:
  • mzn_path (str) – The path to the mzn executable.
  • fzn_path (str) – The path to the flatzinc executable.
  • globals_dir (str) – The path to the directory for global included files.
  • backend (str) – The backend code of the specific solver used.

Methods

solve(mzn_file, *dzn_files[, data, include, …]) Solve a MiniZinc/FlatZinc problem with the G12 solver.