These are the sources of the SAT solver Cleaneling. It is an attempt to produce a clean version of Lingeling, where ’clean’ means easy to read, understand and adapt. It does not strive for the same goal as Lingeling to be as efficient as possible, particularly with respect to memory usage.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto: The mathsat5 SMT solver (2013)