Just wanted to shoutout Armin Biere, one of the top contributors in this field: https://github.com/arminbiere https://github.com/arminbiere He has a few open s

Just wanted to shoutout Armin Biere, one of the top contributors in this field: https://github.com/arminbiere https://github.com/arminbiere He has a few open source SAT solvers and tooling that provide good and proven examples on modern SAT solver techniques.