v05.22.2023

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.