swMATH ID: 8840
Software Authors: Roussel, O.
Description: Controlling a solver execution with the runsolver tool. 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.
Homepage: http://jsat.ewi.tudelft.nl/content/volume7/JSAT7_12_Roussel.pdf
Related Software: Paramils; MiniSat; SMAC; Lingeling; SATzilla; UBCSAT; Sat4j; AIGER; Coprocessor; Chaff; Auto-WEKA; SpySMAC; Spybug; irace; CCLS; WPM2; CCASat; Sparrow2Riss; Treengeling; CryptoMiniSat
Cited in: 9 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Controlling a solver execution with the runsolver Tool. Zbl 1331.68210
Roussel, Olivier

Citations by Year