Propositional Encodings in C++11
GPL-3.0 License
See cppsat's project website: https://abau.org/cppsat.html
Competitive Programming Resources/Templates in C++
Competitive Programming Template Headers | With documentation, CI tests and Codecov
Copy and Paste standard library (CPSTL) is a repository with a collection of data structure and a...
My usual code template
sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS ...
My Competitive Programming Library