Add usage of Lower bounding to MaxSat
A lower bounding procedure is available in Sat4j API since release 2.3.1. It would be nice to have the ability to use it on the command line of the maxsat solver.
A lower bounding procedure is available in Sat4j API since release 2.3.1. It would be nice to have the ability to use it on the command line of the maxsat solver.