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
Full Changelog: release/2.5.1...release/2.5.2
Contributors
msoos and Illner