pymzn.ORTools

class pymzn.ORTools(solver_id='or-tools')

Interface to the OR-tools solver.

Parameters

• path (str) – The path to the fzn-or-tools executable.

• globals_dir (str) – The path to the directory for global included files. You should either copy or link the ‘share/minizinc_cp’ folder from the or-tools distribution into the minizinc library directory (with name ‘or-tools’) or provide the full path here.

Methods

args([all_solutions, num_solutions, …])	Returns a list of command line arguments for the specified options.
parser()	This function should return a new instance of the solver parser.