Be notified of new releases
Create your free GitHub account today to subscribe to this repository for new releases and build software alongside 28 million developers.Sign up
Main 5.6.x release. This release brings a TON of improvements:
- new Gauss-Jordan elimination as contributed by the authors of "When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way"
- lots of performance improvements
- some fun new interfaces
- much more testing of a lot of interesting interfaces