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.
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.