pymzn.Solver

class pymzn.Solver(globals_dir='std')

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

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