The Sphinx and the Cursed Mummy remaster from 2017 (originally released in 2003) has seen a big upgrade arrive for the ...
Gophersat's last stable version is version 1.4. It includes the optional cutting-planes solving strategy. Some problems, such as the famous pigeonhole problem, take a very-long time to solve using ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results