Controlling a Solver Execution with the runsolver Tool
Olivier Roussel · Journal on Satisfiability Boolean Modeling and Computation · 2011
The runsolver tool was designed for the 2005 edition of the pseudo-Boolean competition in order to solve the problem of correctly measuring the resources used by solvers, especially solvers with multiple processes. Since then, it has been improved in