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.
Dispatch lower bounding to all parts of Sat4j
Lower bounding is available in the API of Sat4j 2.3.1. The next step is now to provide that feature on the command line of all optimization tools.