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
56
Closed
112
All
168
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}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Compatibility issues with Maven 3.8.1
#168
· created
Apr 07, 2021
by
Romain WALLON
3
updated
Apr 10, 2021
Fix displayed information when revealing cardinality constraints
#167
· created
Mar 30, 2021
by
Daniel Le Berre
0
updated
Mar 30, 2021
Add a way to reveal the cardinality constraints found by DetectCards
#166
· created
Mar 30, 2021
by
Daniel Le Berre
0
updated
Mar 30, 2021
Missing negated literals in dedicated watch structure for computing prime implicants
#165
· created
Mar 02, 2021
by
Daniel Le Berre
0
updated
Mar 03, 2021
MaxHSLike solver won't launch from command line
#163
· created
Feb 19, 2021
by
Romain WALLON
0
updated
Feb 19, 2021
Provide access to decisions taken during the search in the API
1 of 2 tasks completed
#162
· created
Jan 05, 2021
by
Daniel Le Berre
0
updated
Feb 22, 2021
Refactor LearnedConstraintDeletionStrategy management
#160
· created
Mar 11, 2020
by
Daniel Le Berre
0
updated
Mar 11, 2020
Update continuous integration settings to build correctly for contributors
#159
· created
Jan 03, 2020
by
Daniel Le Berre
0
updated
Jan 03, 2020
Fix new violation considered as a bug in SonarQube
#158
· created
Aug 20, 2019
by
Daniel Le Berre
0
updated
Aug 20, 2019
some small problems in fileName-handling
#156
· created
Jun 23, 2019
by
Dieter von Holten
1
updated
Jun 23, 2019
Provide a way to serialize constraints in files
#155
· created
Feb 20, 2019
by
Daniel Le Berre
8
updated
Mar 23, 2019
Bug when mixing constraint removal and constraints satisfied by unit propagation
#153
· created
Jan 15, 2019
by
Miguel Neves
3
updated
Jan 27, 2019
Update code base to Java 7
#150
· created
Nov 13, 2018
by
Daniel Le Berre
2.3.6
0
updated
Nov 13, 2018
Instability of timeout based tests
#149
· created
Nov 10, 2018
by
Daniel Le Berre
core
0
updated
Nov 10, 2018
ArrayIndexOutOfBound exception on non normalized WBO opb file
#148
· created
Oct 29, 2018
by
Daniel Le Berre
0
updated
Oct 29, 2018
ModelIteratorTest.testGlobalTimeoutCounter makes build instable
#146
· created
Sep 16, 2018
by
Daniel Le Berre
0
updated
Sep 16, 2018
Java 9 modularization?
#142
· created
Mar 21, 2018
by
Mark Raynsford
3.0
4
updated
Apr 24, 2018
Add support for parity constraints
#140
· created
Aug 24, 2016
by
Daniel Le Berre
2.3.6
core
prio=Major
type=New Feature
1
updated
Sep 16, 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
Incorrect answer with PB Solver
#136
· created
Jan 17, 2016
by
Anitha
prio=Major
pseudo
type=Bug
2
updated
Jul 07, 2018
Prev
1
2
3
Next