G12MIP(mzn_path='mzn-g12mip', fzn_path='flatzinc', globals_dir='linear')¶
Interface to the G12MIP solver.
- 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.
solve(mzn_file, *dzn_files[, data, include, …])
Solve a MiniZinc/FlatZinc problem with the G12 solver.