https://github.com/crillab/d4v2
Tip revision: c4239d526043da01142cc81ef1b5aad2d198ff5d authored by JM on 30 September 2022, 13:33:50 UTC
licence changed
licence changed
Tip revision: c4239d5
.gitignore
*~
build
.ninja*
CMakeCache.txt
rules.ninja
cmake_install.cmake
src/cmake_install.cmake
scripts/cnfuzz
scripts/minisat
scripts/gmon.out
.cache/
.vscode/
CMakeFiles
*.o
*.o[dr]
3rdParty/glucose-3.0/core/depend.mk
*.a