search

conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool
Other
96 stars 22 forks source link

Add runsolver support #653

Closed ozgurakgun closed 6 months ago

ozgurakgun commented 6 months ago

The new command line options are the following:

 runsolver:
      --runsolver-cpu-time-limit=INT          Use runsolver to limit total CPU time (in seconds)
      --runsolver-memory-limit=INT            Use runsolver to limit total memory usage (Maximum RSS - in megabytes).