Skip to content

Version 1.5.2
Compare
Choose a tag to compare
@marekpiotrow marekpiotrow released this 07 Dec 16:24
· 34 commits to master since this release
v1.5.2
c53a51a

Fixing the problems found and described in the paper "Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging" by Tobias Paxian and Armin Biere.

Assets 2
Loading