GitHub - P41NT/peregrine: A Simple (WIP) SAT Solver written in Modern C++20

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
include		include
sat_files/dimacs_cnf		sat_files/dimacs_cnf
src		src
tests		tests
.clang-tidy		.clang-tidy
.clangd-format		.clangd-format
.gitattributes		.gitattributes
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
CMakePresets.json		CMakePresets.json
vc140.idb		vc140.idb