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
14
Closed
30
All
44
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
Allow the definitions of levels of the heuristic
#122
· opened
Oct 28, 2014
by
Daniel Le Berre
3.0
core
prio=Major
pseudo
type=Improvement
0
updated
Jul 07, 2018
Use a specific data structure for binary clauses compatible with reason simplification
#1
· opened
Feb 12, 2011
by
Daniel Le Berre
core
prio=Major
type=Improvement
1
updated
May 11, 2018
Allow creation of clauses, cardinality and pseudo boolean constraints using arrays of primitive type
#19
· opened
Apr 29, 2011
by
Daniel Le Berre
core
prio=Major
pseudo
type=Improvement
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
Allow input string to be read properly using InputStream or Reader
#25
· opened
May 14, 2011
by
Daniel Le Berre
core
prio=Major
type=Improvement
2
updated
May 11, 2018
Allow easy explanation for OPB file
#28
· opened
Jul 20, 2011
by
Daniel Le Berre
prio=Major
pseudo
type=Improvement
0
updated
May 11, 2018
Expose solver stats and info programatically
#62
· opened
Mar 19, 2012
by
Pablo Abad
core
prio=Major
type=Improvement
2
updated
May 11, 2018
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
Allow Sat4j statistics to be visible using JMX
#97
· opened
Apr 06, 2013
by
Daniel Le Berre
core
prio=Major
type=Improvement
1
updated
Jul 07, 2018
API for using an OPB string spec
#102
· opened
Apr 24, 2013
by
Mihai Barbuceanu
prio=Major
pseudo
type=Improvement
0
updated
Jul 07, 2018
Implement reusable trail
#114
· opened
Oct 21, 2013
by
Daniel Le Berre
core
prio=Major
type=Improvement
0
updated
Jul 07, 2018
Fix issue in Minisat Expensive Simplification
#115
· opened
Oct 21, 2013
by
Daniel Le Berre
core
prio=Major
type=Improvement
1
updated
Jul 07, 2018
Implement decision conflict replacement proposed by Knuth
#116
· opened
Oct 21, 2013
by
Daniel Le Berre
core
prio=Major
type=Improvement
0
updated
Jul 07, 2018
Throw IllegalStateException when calling unsatExplanation to avoid NPE.
#134
· opened
Nov 04, 2015
by
Daniel Le Berre
core
prio=Major
type=Improvement
0
updated
Jul 07, 2018