Skip to content

Cmake work

Mark requested to merge cmake-work into main

Using only the latest version of minisat and adapted the CMake files for it

Merge request reports