cppsat

Propositional Encodings in C++11

GPL-3.0 License

Stars

Ecosystems: C++

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