pymzn.Solver

class pymzn.Solver(globals_dir='std', support_mzn=False, support_all=False, support_num=False, support_timeout=False, support_output_mode=False, support_stats=False)

Abstract solver class.

All the solvers inherit from this base class.

Parameters:globals_dir (str) – The path to the directory for global included files.

Methods

args(**kwargs) 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]) Like solve, but returns a started Process