A CMake super-project of MiniSat related tools and libraries for easier building
Latest commits.
Builders behind this project.
