A CMake super-project of MiniSat related tools and libraries for easier building - View it on GitHub