Skip to content

ApproxMC 4
Compare
Choose a tag to compare
@msoos msoos released this 06 Jul 22:13
· 360 commits to master since this release
4.0.0
d52586a

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.

Assets 3
Loading