pymzn.Solver

class pymzn.Solver(solver_id)

Abstract solver class.

Parameters:solver_id (str) – The identifier to use when launching the minizinc command.

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.