Issues · SAT4J / sat4j · GitLab

Add an API to reduce the value of the objective function in case of optimization

#46 · opened Oct 27, 2011 by Daniel Le Berre prio=Major pseudo type=Sub-task
- 0
updated May 11, 2018
Add usage of Lower bounding to MaxSat

#52 · opened Dec 12, 2011 by Daniel Le Berre maxsat prio=Major type=Sub-task
- 0
updated May 11, 2018
Allow both lower and upper bounding on the ManyCore solvers.

#53 · opened Dec 12, 2011 by Daniel Le Berre core prio=Major pseudo type=Sub-task
- 0
updated May 11, 2018
Add a way to ask the solver to stop searching after a given decision level is reached

#57 · opened Jan 25, 2012 by Daniel Le Berre core prio=Major type=Sub-task
- 1
updated May 11, 2018
Make Sat4j easily usable in Scala

#74 · opened Jul 11, 2012 by Daniel Le Berre 3.0 core maxsat prio=Major pseudo type=Sub-task visualization
- 6
updated May 11, 2018
Allow usage of Lower Bounding on Sat4j PB command line

#51 · opened Dec 12, 2011 by Daniel Le Berre 2.3.2 prio=Major pseudo type=Sub-task
- CLOSED
- 2
updated Jul 07, 2018
Lower bounding optimization does not work for maxsat

#113 · opened Sep 30, 2013 by Daniel Le Berre 2.3.6 maxsat prio=Major type=Sub-task
- CLOSED
- 3
updated Apr 13, 2018