Skip to content

Releases: meelgroup/unigen

Unigen 2.5.7

08 Feb 21:20
@msoos msoos
2.5.7
80fe195
Compare
Choose a tag to compare
Unigen 2.5.7 Latest
Latest

New UniGen release to be synchronized with CryptoMiniSat, Arjun, and ApproxMC releases

Assets 3
Loading

Unigen 2.5.6

30 Aug 09:25
@msoos msoos
2.5.6
793c44f
Compare
Choose a tag to compare
Unigen 2.5.6

Fixing python module issue

Assets 3
Loading

Unigen 2.5.2

22 Feb 22:35
@msoos msoos
2.5.2
b88baef
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Unigen 2.5.2

Release with newer integrated Arjun. This fixes some performance regressions. Currently, some of the "empty occurrence" setup is not well thought-through for UniGen, so it's partially disabled. In particular, the embedded ApproxMC doesn't make use of them. This is a shame, but we need to figure out how to do it right.

Meant to be used with:

  • c ApproxMC SHA revision f04ef377b41afa517eedeaa2abff40c940d4cab8
  • c Arjun SHA revision 2a230739582afd51c264e31a7d5b21337b02dcf1
  • c CMS SHA revision 9b4ee6f14849f7ea2b9efe2f33b698a3ba203947
Assets 3
Loading

Unigen 2.5.1

27 Sep 13:33
@msoos msoos
2.5.1
b075284
Compare
Choose a tag to compare
Unigen 2.5.1

UniGen, now with Arun!

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

Assets 3
Loading

UniGen

30 Mar 16:40
@msoos msoos
3.0.0
0e476ef
Compare
Choose a tag to compare
UniGen

First release, using ApproxMC revision 0e476ef, CryptoMiniSat revision 97663f9c302d3d1e142bc5a2088480ff7cf9f350 and UniGen revision 0e476ef.

Assets 2
Loading