Clone of runsolver v3.4.0 from http://www.cril.univ-artois.fr/~roussel/runsolver/ - View it on GitHub