Antmicro's fork of CRAVE.
Clone this repo recursively:
git clone --recursive <URL>Configure with selected backends:
cmake -B <build_dir> -DmetaSMT_USE<backend>=ONAvailable backends: Boolector, CUDD, CVC4, STP, Z3.
Build:
cmake --build <build_dir> -j<num_of_jobs>Configure with tests enabled:
cmake -B <build_dir> -DmetaSMT_USE<backend>=ON -DCRAVE_ENABLE_TESTS=ONRun tests:
ctest --test-dir <build_dir> -j<num_of_jobs>Warning: The docs are currently out of date.