Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
SAT4J
sat4j
Issues
Open
1
Closed
7
All
8
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Milestone due date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
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
