Runsolver is the program which is used in the competitions to control the resources used by a solver.


Author :
Olivier Roussel

GPL    Any category    Perennial software   

Go to the software webpage

International journals

2011 Olivier Roussel, Controlling a Solver Execution: the runsolver Tool in Journal on Satisfiability, Boolean Modeling and Computation, vol. 7, n° 4, pp. 139-144, 2011.