Commit 36134ed3 authored by Kučera Petr RNDr. Ph.D.'s avatar Kučera Petr RNDr. Ph.D.
Browse files

CaDiCaL and KisSAT disabled in Python interface

parent e990dabc
......@@ -24,4 +24,4 @@ cmake_static: build
cd build && cmake -DBUILD_STATIC=ON -DCMAKE_BUILD_TYPE=Release -DUSE_KISSAT=$(USE_KISSAT) -DUSE_GLUCOSE=$(USE_GLUCOSE) -DUSE_CADICAL=$(USE_CADICAL) ..
cmake_subool_glucose: build
cd build && cmake -DBUILD_SUBOOL_GLUCOSE=ON -DCMAKE_BUILD_TYPE=Release -DUSE_KISSAT=$(USE_KISSAT) -DUSE_GLUCOSE=$(USE_GLUCOSE) -DUSE_CADICAL=$(USE_CADICAL) ..
cd build && cmake -DBUILD_SUBOOL_GLUCOSE=ON -DCMAKE_BUILD_TYPE=Release -DUSE_KISSAT=OFF -DUSE_GLUCOSE=$(USE_GLUCOSE) -DUSE_CADICAL=OFF ..
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment