Chuffed(mzn_path='mzn-chuffed', fzn_path='fzn-chuffed', globals_dir='chuffed')¶
Interface to the Chuffed solver.
- mzn_path (str) – The path to the mzn-chuffed executable.
- fzn_path (str) – The path to the fzn-chuffed 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[, timeout, all_solutions])
Solve a problem encoded with MiniZinc/FlatZinc.
solve_start(*args[, timeout, all_solutions])
solve, but returns a started Process