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.processmodule 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.