Skip to Main content Skip to Navigation
Journal articles

Controlling a Solver Execution: the runsolver Tool

Abstract : 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 several directions and adopted by several other competitions or frameworks. This paper presents the inner working of this tool and the technical problems that it addresses.
Document type :
Journal articles
Complete list of metadata
Contributor : Francois Chevallier Connect in order to contact the contributor
Submitted on : Tuesday, October 1, 2013 - 11:04:43 AM
Last modification on : Wednesday, October 20, 2021 - 9:58:20 AM


  • HAL Id : hal-00868234, version 1



Olivier Roussel. Controlling a Solver Execution: the runsolver Tool. Journal on Satisfiability, Boolean Modeling and Computation, IOS Press, 2011, 7, pp.139-144. ⟨hal-00868234⟩



Les métriques sont temporairement indisponibles