pymzn.G12Fd

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

Interface to the G12Fd 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.

Methods

solve(mzn_file, *dzn_files[, data, include, …])

Solve a MiniZinc/FlatZinc problem with the G12 solver.