pymzn.Chuffed.solve

Chuffed.solve(*args, timeout=None, all_solutions=False, **kwargs)

Solve a problem encoded with MiniZinc/FlatZinc.

This method should call an external solver, wait for the solution and provide the output of the solver. If the solver does not have a Python interface, the pymzn.process module can be used to run external executables.

If a solver does not support dzn output, then its PyMzn implementation should take care of parsing the solver output and return a dzn equivalent.