18 lines (13 loc) · 602 Bytes

sharpSAT

Instructions for building x64 static executables:

Linux

docker build -t sharpsat .
docker cp $(docker create sharpsat):/home/sharpSAT sharpSAT
chmod +x sharpSAT

Windows

install CMake, Visual Studio with the C++ workload, and vcpkg (into ..)
..\vcpkg\vcpkg install gmp
cmake . -DCMAKE_TOOLCHAIN_FILE=..\vcpkg\scripts\buildsystems\vcpkg.cmake
msbuild sharpSAT.sln /t:ALL_BUILD /p:Configuration=Release (binary+DLL in Release, .lib not needed)