pymzn.Chuffed

class pymzn.Chuffed(mzn_path='mzn-chuffed', fzn_path='fzn-chuffed', globals_dir='chuffed')

Interface to the Chuffed solver.

Parameters:
  • 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.

Methods

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