pymzn.Gecode

class pymzn.Gecode(solver_id='gecode')

Interface to the Gecode solver.

Methods

args([fzn_flags])

Returns a list of command line arguments for the specified options.

parser()

This function should return a new instance of the solver parser.