URL details: jodevriendt.com/software/
URL title:
Software
URL description:
As main developer The open-source and highly efficient integer linear programming solver Exact The symmetry breaking preprocessor for SAT BreakID (which has been integrated in the SAT solver CryptoMiniSat) The SAT solver with effective symmetrical learning Glucose-SEL As contributor The knowledge base system IDP Its successor IDP-Z3 The lazy clause-generation constraint programming solver MinisatID
URL last crawled:
2022-06-26
URL speed:
0.844 MB/s,
downloaded in 0.060 seconds
We found no external links pointing to this url.