Skip to content

Ganak 2.5.0

Choose a tag to compare

View all tags
@msoos msoos released this 24 Aug 08:40
· 51 commits to master since this release
release/2.5.0
06574a7
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This Ganak has greatly benefited from the feedback of Stefanos Kourtis, Julien Drapeau, and Jeremy Cote. Thanks a lot!

Basically, the TD system has been overhauled, and should work significantly better.

c o Ganak SHA1: 4419bd5c78f67f36798c905ebb244a2c176ebd02
c o Arjun SHA1: aadee6c55e8337500f4f0f773c7de0a22c8faafa
c o SBVA SHA1: 0faa08cf3cc26ed855831c9dc16a3489c9ae010f
c o CMS SHA1: 0ab1e4406edc952a975347e7f3365f28d01f7f67
c o ApproxMC SHA1: 655dedc7f1ec1bde2160950f6fb518a78d1462e9
c o CadiBack f3b1b21e99c48d0b2e09ef6af3451e621d94cad6
c o CaDiCaL 19b73b36ab9a0be427985abfb599be2da454225c
Assets 6
Loading