Just wanted to shoutout Armin Biere, one of the top contributors in this field: ...

		c0balt on May 26, 2023 \| parent \| context \| favorite \| on: Modern SAT solvers: fast, neat and underused (2018... Just wanted to shoutout Armin Biere, one of the top contributors in this field: 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.