Artifact of CAV24 Paper: Formally Certified Approximate Model Counting

The artifact includes the implementation and evaluation for a certified approximate model counter, ApproxMCCert, and its certificate checker, CertCheck, built on top of the state-of-the-art approximate model counter, ApproxMC. The artifact includes the static binaries and execution instructions for the tools, the scripts to reproduce the experimental results and generate the tables and figures reported in the paper, and the source code with installation scripts.