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.
