Skip to content

Add CMake support for building and linking against CaDiCaL using the IPASIR interface#6075

Merged
TGWDB merged 4 commits intodiffblue:developfrom
NlightNFotis:cmake_ipasir
May 7, 2021

Commits

Commits on May 7, 2021