sat4j issueshttps://gitlab.ow2.org/sat4j/sat4j/-/issues2018-07-07T05:11:53Zhttps://gitlab.ow2.org/sat4j/sat4j/-/issues/51Allow usage of Lower Bounding on Sat4j PB command line2018-07-07T05:11:53ZDaniel Le BerreAllow usage of Lower Bounding on Sat4j PB command lineIn 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.2.3.2https://gitlab.ow2.org/sat4j/sat4j/-/issues/113Lower bounding optimization does not work for maxsat2018-04-13T11:56:13ZDaniel Le BerreLower bounding optimization does not work for maxsatWhen using the lower bounding technique on a maxsat problem, the solver does not stop when the formula becomes satisfiable.
The enclosed wcnf has an optimal solution of 400, found using upper bounding, but not found using lower bounding.When using the lower bounding technique on a maxsat problem, the solver does not stop when the formula becomes satisfiable.
The enclosed wcnf has an optimal solution of 400, found using upper bounding, but not found using lower bounding.2.3.6