Runsolver est le programme qui contrôle les resources(mémoires, cpu,etc.) utilisées par les solveurs lors des compétitions.


Auteur :
Olivier Roussel

GPL    Toute catégorie    Logiciels pérennes   

Aller sur la page web du logiciel

Articles de revues internationales

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.