A
pproximate_
M
odel_
C
ounting
ApproxMCPreliminaries
RandomXOR
RandomXORHashFamily
ApproxMCCore
ApproxMCCoreAnalysis
ApproxMCAnalysis
CertCheck
CertCheck_CNF_XOR