Issues · SAT4J / sat4j · GitLab

release jars do not include debug information

#106 · opened 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 · opened 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 · opened 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 · opened 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 · opened 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 · opened Nov 08, 2015 by Anitha 2.3.6 prio=Major pseudo type=Question
- CLOSED
- 8
updated Nov 09, 2015
DependencyHelper corrupts existing constraints

#137 · opened Feb 21, 2016 by Robert Giegerich 2.3.6 prio=Major pseudo type=Bug
- CLOSED
- 3
updated Apr 13, 2018