Expired
Milestone
expired on Jun 30, 2018
2.3.6
Milestone ID: 574
Release containing the solvers submitted to SAT13 and PB16 competitive events and algorithms published at FMCAD13 and SAT14.
This is the last release to support Java 1.6.