ApproxMC 4.0.1

Minor fixes to ApproxMC 4.0.0. This release was meant to be used with CryptoMiniSat revision 6477e8bc43b0fd and with that version only.

ApproxMC 4

All new release with much improved Gauss-Jordan elimination, XOR detaching improvements, and memorization of past solutions.

This version of ApproxMC was designed to be compiled and ran with CryptoMiniSat revision 6477e8bc43b0fd. Please use it with that CryptoMiniSat revision only.

ApproxMC 3

The code of our system in AAAI-19 titled "BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting"

This release of ApproxMC, i.e. release 3.0 (93ace9b) MUST be used with CryptoMiniSat version bccc0c2de8981. This is extremely important, because newer versions of CryptoMiniSat contain parts of ApproxMC4, and ApproxMC5 etc. Please make absolutely sure you use version bccc0c2de8981 of CryptoMiniSat. Otherwise, you will get the wrong performance numbers. Alternatively, please use the precompiled binary, attached.