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.