https://github.com/markirch/sat-modulo-symmetries
Tip revision: a442fd29e85c0ec1078a6522da81f799f003cdbf authored by muak1234 on 26 July 2023, 12:44:04 UTC
Update: consistent argument naming; multi-graphs; examples; ...
Update: consistent argument naming; multi-graphs; examples; ...
Tip revision: a442fd2
build-and-install-local.sh
#!/bin/bash
set -e
function msg() {
echo -e "\n-- build-and-install-local.sh: $1\n"
}
msg "Configuring the build directory..."
cmake -Bbuild -H. -DCMAKE_INSTALL_PREFIX=$HOME/.local
msg "building SMS"
cmake --build build -j 2
msg "installing SMS binaries"
cmake --install build
msg "installing Python wrapper"
pip install .
# g++ ./scripts/other/createDimacsHeader.cpp -o ./scripts/other/createDimacs
