Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
sat4j
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
51
Issues
51
List
Boards
Labels
Service Desk
Milestones
Merge Requests
2
Merge Requests
2
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Packages & Registries
Packages & Registries
Container Registry
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
SAT4J
sat4j
Issues
Open
9
Closed
27
All
36
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
Find a way to factorize the various settings for the solvers
#93
· opened
Feb 19, 2013
by
Daniel Le Berre
maxsat
prio=Major
pseudo
type=Improvement
visualization
1
updated
Jul 07, 2018
Add documents on Sat4j web site to conform with OW2 mature project requirements
#92
· opened
Feb 18, 2013
by
Daniel Le Berre
core
maxsat
prio=Major
pseudo
type=Task
0
updated
Jul 07, 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
Make Sat4j easily embeddable with JVM language
#73
· opened
Jul 11, 2012
by
Daniel Le Berre
3.0
core
maxsat
prio=Major
pseudo
type=New Feature
visualization
0
updated
May 11, 2018
Dispatch lower bounding to all parts of Sat4j
#54
· opened
Dec 12, 2011
by
Daniel Le Berre
maxsat
prio=Major
pseudo
type=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
Add statistics about SAT/UNSAT calls
#24
· opened
May 13, 2011
by
Daniel Le Berre
core
maxsat
prio=Major
pseudo
type=Improvement
0
updated
May 11, 2018
DependencyHelper (the solvers in general) behave differently when units are set first or set last
#22
· opened
May 09, 2011
by
Daniel Le Berre
core
maxsat
prio=Major
pseudo
type=Bug
0
updated
May 11, 2018
Allow creation of soft constraints in a specific GateTranslator
#20
· opened
May 03, 2011
by
Daniel Le Berre
maxsat
prio=Major
type=New Feature
0
updated
May 11, 2018