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
53
Issues
53
List
Boards
Labels
Service Desk
Milestones
Merge Requests
1
Merge Requests
1
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}}
Manual
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Provide a representation of pseudo boolean constraints with primitive type long instead of BigInteger
#4
· opened
Feb 28, 2011
by
Daniel Le Berre
2.3.0
prio=Major
pseudo
type=Improvement
CLOSED
2
updated
May 11, 2018
Allow creation of ManyCore solver from a list/array of existing solvers instead of their name in a factory
#11
· opened
Apr 01, 2011
by
Daniel Le Berre
2.3.1
core
prio=Major
pseudo
type=Improvement
CLOSED
2
updated
May 11, 2018
Use List instead of IVec in DependencyHelper.getSolution()
#12
· opened
Apr 05, 2011
by
Daniel Le Berre
2.3.1
prio=Major
pseudo
type=Improvement
CLOSED
1
updated
May 11, 2018
Allow to reset the DependencyHelper
#15
· opened
Apr 13, 2011
by
Daniel Le Berre
2.3.1
prio=Major
pseudo
type=Improvement
CLOSED
1
updated
May 11, 2018
Improve project documentation (including web site)
#33
· opened
Aug 23, 2011
by
Daniel Le Berre
2.3.3
case studies
core
maxsat
prio=Major
pseudo
type=Improvement
CLOSED
3
updated
Jul 07, 2018
Make sure that all solvers return a unit clause in addClause
#34
· opened
Sep 07, 2011
by
Daniel Le Berre
2.3.1
core
prio=Major
type=Improvement
CLOSED
1
updated
Jul 07, 2018
Allow pretty printing of solutions
#36
· opened
Sep 27, 2011
by
Daniel Le Berre
core
maxsat
prio=Major
pseudo
type=Improvement
CLOSED
2
updated
Jul 07, 2018
Investigate usage of plain CNF rather than custom cardinality of PB constraints
#38
· opened
Oct 12, 2011
by
Daniel Le Berre
2.3.2
core
maxsat
prio=Major
pseudo
type=Improvement
CLOSED
3
updated
Jul 07, 2018
Add the possibility to create a constraint k among n in IProblem
#39
· opened
Oct 12, 2011
by
Daniel Le Berre
2.3.1
core
prio=Major
type=Improvement
CLOSED
2
updated
Jul 07, 2018
Use a specific data structure to locate efficiently the weight associated to a literal in a counter based constraint
#41
· opened
Oct 16, 2011
by
Daniel Le Berre
2.3.1
core
maxsat
prio=Major
pseudo
type=Improvement
CLOSED
3
updated
Jul 07, 2018
Allow Sat4j to use bunzip2 to uncompress on the fly bz2 (and possibly others) compressed files
#42
· opened
Oct 18, 2011
by
Daniel Le Berre
2.3.1
core
maxsat
prio=Major
pseudo
type=Improvement
CLOSED
1
updated
Jul 07, 2018
Allow the solver to be aware of the user defined max var id
#43
· opened
Oct 18, 2011
by
Daniel Le Berre
2.3.1
core
maxsat
prio=Major
pseudo
type=Improvement
CLOSED
3
updated
Jul 07, 2018
Separate MS and PWMS decorator from the optimization method
#45
· opened
Oct 25, 2011
by
Daniel Le Berre
2.3.1
maxsat
prio=Major
type=Improvement
CLOSED
1
updated
Jul 07, 2018
Use package-info.java instead of package.html for package JavaDoc
#59
· opened
Feb 12, 2012
by
Daniel Le Berre
2.3.2
core
maxsat
prio=Major
pseudo
type=Improvement
CLOSED
0
updated
Jan 03, 2019
Concurrent calls to isSatisfiable
#67
· opened
Jun 18, 2012
by
Alexey Voronov
2.3.2
core
prio=Minor
type=Improvement
CLOSED
5
updated
Jan 03, 2019
Remove call to System.gc in solver
#120
· opened
Jul 15, 2014
by
Ghost User
2.3.6
core
prio=Major
type=Improvement
CLOSED
2
updated
Apr 13, 2018
Initialization of org.sat4j.minisat.core.Solver calls Runtime.getRuntime().freeMemory()
#121
· opened
Sep 17, 2014
by
Ghost User
2.3.6
core
prio=Major
type=Improvement
CLOSED
5
updated
Apr 13, 2018
Better management of forgotten variables for undo-based constraints
#90
· opened
Feb 09, 2013
by
Daniel Le Berre
core
prio=Major
pseudo
type=Improvement
CLOSED
1
updated
Apr 13, 2018
Improve error report when xsd missing
#104
· opened
May 08, 2013
by
Benoît Hoessen
2.3.6
core
prio=Trivial
type=Improvement
CLOSED
2
updated
Apr 13, 2018
Add Glucose 21 dynamic restart strategy and enable it by default
#86
· opened
Jan 03, 2013
by
Daniel Le Berre
2.3.3
core
prio=Major
type=Improvement
CLOSED
1
updated
Apr 13, 2018
Allow easy access to a pseudo boolean optimizer
#85
· opened
Dec 11, 2012
by
Daniel Le Berre
2.3.3
prio=Major
pseudo
type=Improvement
CLOSED
1
updated
Apr 13, 2018
Iterators can be created at each conflict
#119
· opened
Jul 02, 2014
by
Benoît Hoessen
2.3.6
core
prio=Minor
type=Improvement
CLOSED
1
updated
Apr 13, 2018
Allow hybrid lexico optimization
#98
· opened
Apr 06, 2013
by
Daniel Le Berre
2.3.4
prio=Major
pseudo
type=Improvement
CLOSED
3
updated
Apr 13, 2018
Avoid calling visualization code when no visualization is needed
#88
· opened
Jan 23, 2013
by
Daniel Le Berre
2.3.3
prio=Major
type=Improvement
visualization
CLOSED
1
updated
Apr 13, 2018
Allow iterating on a part of a model (subset of its variables)
#109
· opened
Jun 05, 2013
by
Daniel Le Berre
2.3.6
core
prio=Major
type=Improvement
CLOSED
1
updated
Apr 13, 2018
Integrate faster prime implicant computation
#112
· opened
Aug 02, 2013
by
Daniel Le Berre
2.3.6
core
prio=Major
type=Improvement
CLOSED
1
updated
Apr 13, 2018
Print the statistics of all solvers in manycore
#72
· opened
Jul 05, 2012
by
Daniel Le Berre
core
prio=Major
type=Improvement
CLOSED
1
updated
Apr 13, 2018
if-then constraint
#94
· opened
Feb 19, 2013
by
Mihai Barbuceanu
2.3.6
core
prio=Major
type=Improvement
CLOSED
4
updated
Apr 13, 2018
Allow Sat4j to provide unsat proofs in RUP format
#96
· opened
Apr 06, 2013
by
Daniel Le Berre
2.3.4
core
prio=Major
type=Improvement
CLOSED
1
updated
Apr 13, 2018
Create a specific event when learning unit clauses
#100
· opened
Apr 17, 2013
by
Daniel Le Berre
2.3.4
core
prio=Major
type=Improvement
CLOSED
1
updated
Apr 13, 2018