Propositional Encodings in C++11
GPL-3.0 License
Statistics for this project are still being loaded, please check back later.
My usual code template
Copy and Paste standard library (CPSTL) is a repository with a collection of data structure and a...
sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS ...
Competitive Programming Template Headers | With documentation, CI tests and Codecov
My Competitive Programming Library
Competitive Programming Resources/Templates in C++