Issues · SAT4J / sat4j · GitLab

release jars do not include debug information

#106 · created May 25, 2013 by Daniel Le Berre 2.3.6 core maxsat prio=Major pseudo type=Bug
- CLOSED
- 1
updated Apr 13, 2018
Remove propagated literals when removing a PB constraint

#110 · created Jun 27, 2013 by Daniel Le Berre 2.3.6 prio=Major pseudo type=Bug
- CLOSED
- 1
updated Apr 13, 2018
Timers are not correctly released when performing optimization

#117 · created Mar 11, 2014 by Daniel Le Berre 2.3.6 core prio=Major pseudo type=Bug
- CLOSED
- 25
updated Apr 13, 2018
Lexico-Optimization does not work with ManyCore (parallel) solvers.

#124 · created Jan 03, 2015 by Daniel Le Berre 2.3.6 core prio=Major pseudo type=Bug
- CLOSED
- 2
updated Jan 15, 2015
Support unused variables in the objective function when the optimization problem is trivial

#130 · created Sep 24, 2015 by Daniel Le Berre 2.3.6 prio=Major pseudo type=Bug
- CLOSED
- 1
updated Apr 13, 2018
Sat4j not terminating

#135 · created Nov 08, 2015 by Anitha 2.3.6 prio=Major pseudo type=Question
- CLOSED
- 8
updated Nov 09, 2015
DependencyHelper corrupts existing constraints

#137 · created Feb 21, 2016 by Robert Giegerich 2.3.6 prio=Major pseudo type=Bug
- CLOSED
- 3
updated Apr 13, 2018
Fix WBO issue found during PB 2016

#138 · created Jul 06, 2016 by Daniel Le Berre 2.3.6 prio=Major pseudo type=Bug
- 0
updated Jul 07, 2018