Skip to content

ApproxMC 3
Compare
Choose a tag to compare
@msoos msoos released this 25 Nov 19:05
· 709 commits to master since this release
3.0
93ace9b

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.

Assets 3
Loading