Skip to content

ApproxMC 4.1.4
Compare
Choose a tag to compare
@msoos msoos released this 03 Oct 19:38
· 191 commits to master since this release
4.1.4
860f893

New release, due to bug discovered in CryptoMiniSat. To be used with CryptoMiniSat 5358b9ce746cf2759616406f6450eb6cd1e4bf93, Arjun 407ea7f5c66ee66693fa0d6cda60558d0d554564.

Assets 3
Loading