Skip to content

Unigen 2.5.1

Choose a tag to compare

View all tags
@msoos msoos released this 27 Sep 13:33
· 106 commits to master since this release
2.5.1
b075284

UniGen, now with Arun!

It should be compiled with CryptoMiniSat rev 3be6e0f56ce55685e029afb93bfcc2d0800d8c1f, Arjun rev 71c29268f08c3ba7e5ba23c13aff7000d6234ae3, ApproxMC rev fe0608ee3176b31cdd9521346a520319d1bd58c1.

Assets 3
Loading