Allow usage of Lower Bounding on Sat4j PB command line
In Sat4J 2.3.1, a lower bounding procedure was made available in the API. That feature is not available in the PB command line. It would be nice to add it to the PB command line.
In Sat4J 2.3.1, a lower bounding procedure was made available in the API. That feature is not available in the PB command line. It would be nice to add it to the PB command line.