The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
Update code base to Java 7
The original source code of Sat4j was Java 1.5 down compiled to 1.4.
The 2.3.6 release will be compatible with Java 7.
As such, new syntactic structures are available (try with resources, multiple exceptions).
We need to take care properly of that.
SonarQube can help us for that.