·
14 commits
to master
since this release
The version used for the SAT23 paper "Certified Knowledge Compilation with Application to Verified Model Counting" by Randy Bryant, Wojciech Nawrocki, Jeremy Avigad, and Marijn Heule.