Ganak 2.5.2

This release fixes a bug found by @Illner as per #58 This lead to a miscount on longer-running counting in certain CNFs (in particular, when the CNF was fast to generate components). This has now been fixed.

Should be run with:

c o Ganak SHA1: 7ab65562ea23243163dea4b3a016c3c14ca29e52
c o Arjun SHA1: 58ec9aff687c9adcd6a26f158a947c07794e43f6
c o SBVA SHA1: 0faa08cf3cc26ed855831c9dc16a3489c9ae010f
c o CMS SHA1: 0f7487ebf5afa1ae3f7be279ba3709906a1c861d
c o ApproxMC SHA1: 56042dc9002dee312bb4be283d2bdf8bc2a67827
c o CadiBack a35c4b98b6237b16ca0fd08dded8f8f51ff998a8
c o CaDiCaL 81de5d2b5c68727b4d183ec5ceb56561f1b3b6e1

What's Changed

• Some cleanup and fixes by @msoos in #59

Full Changelog: release/2.5.1...release/2.5.2

Ganak 2.5.1

This Ganak fixes an issue where the results can be wrong when the tool is ran for more than 1 hour, due to a counter overflowing.

Should be built with:
c o Ganak SHA1: 3c0842e
c o Arjun SHA1: 58ec9aff687c9adcd6a26f158a947c07794e43f6
c o SBVA SHA1: 0faa08cf3cc26ed855831c9dc16a3489c9ae010f
c o CMS SHA1: b09bd6bf05253adf5981e44f9dbd374b2811ff94
c o ApproxMC SHA1: 56042dc9002dee312bb4be283d2bdf8bc2a67827
c o CadiBack a35c4b98b6237b16ca0fd08dded8f8f51ff998a8
c o CaDiCaL 81de5d2b5c68727b4d183ec5ceb56561f1b3b6e1

What's Changed

• Fixing move semantics by @msoos in #51
• Last used time can overflow by @msoos in #50
• Potentially more fixes/changes to TD calculation by @msoos in #53
• Visualize TD into a DOT file by @msoos in #54
• Update nix by @msoos in #56
• Add nix build by @msoos in #57

Full Changelog: release/2.5.0...release/2.5.1

Ganak 2.5.0

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

ganak-2.4.6

Fixing up flake and approxmc setup. To be used with:

Ganak SHA1: 744c87f8fe0e5448afbb0f2363e5a9d5c3e88d01
Arjun SHA1: 319de26d70cb74e5091c9b05cf6c7f9b6bd20d3c
SBVA SHA1: 6dc05afe9424bd04cd3beba50b919fde2754a637
CMS SHA1: cb5e20c853c225064ab2474b0ae8ecbb9e1046ad
ApproxMC SHA1: 8c1561e5c50f8e5cfb1ee5f9b2ce487811eb5a7a
BreakID SHA1: a4e8a890140b6073a66a559e19e7fcb760bbd679
CaDiCaL SHA1: 41a2b00be9d28c49fce221f883c67bd6ed2dc7bf
CadiVack SHA1: bd1aa18a5f4d028e3075b50aa1051d883f386a0c

ganak-2.4.5

Now with more error checking of input files

ganak-2.4.4

Now using hash function that works on all platforms.

ganak-2.4.3

Minor performance fix

ganak-2.4.2

Minor version bump for a few improvements in Ganak

ganak-2.4.1

Bugfix release for 2.4.0

ganak-1.0.3

Releasing using GitHub Action-created binaries