Skip to content

GitLab

Open
Created by Daniel Le Berre@leberreOwner

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.