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
args
(mzn_file, *dzn_files[, data, include, ...])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