Copyright (c) 2008-2022
This library contains an abstraction layer for integrating SAT Solvers into OCaml.
It is developed and maintained by:
- (c) Oliver Friedmann, University of Munich (http://oliverfriedmann.de)
- (c) Martin Lange, University of Kassel (http://carrick.fmv.informatik.uni-kassel.de/~mlange/)
We currently support the following SAT Solvers:
- MiniSAT v1.4 (c) Niklas Eén, Niklas Sörensson (http://minisat.se)
- Z3 v4.8.11 (c) Microsoft Corporation (https://github.com/Z3Prover/z3)