Issues · SAT4J / sat4j · GitLab

Allow easy control and information retrieval while the solver is running

#58 · created Feb 04, 2012 by Daniel Le Berre core prio=Major type=New Feature
- 0
updated May 11, 2018
Add a way to ask the solver to stop searching after a given decision level is reached

#57 · created Jan 25, 2012 by Daniel Le Berre core prio=Major type=Sub-task
- 1
updated May 11, 2018
Dispatch lower bounding to all parts of Sat4j

#54 · created Dec 12, 2011 by Daniel Le Berre maxsat prio=Major pseudo type=Task
- 0
updated May 11, 2018
Allow both lower and upper bounding on the ManyCore solvers.

#53 · created Dec 12, 2011 by Daniel Le Berre core prio=Major pseudo type=Sub-task
- 0
updated May 11, 2018
Add usage of Lower bounding to MaxSat

#52 · created Dec 12, 2011 by Daniel Le Berre maxsat prio=Major type=Sub-task
- 0
updated May 11, 2018
Allow the creation of a new variable with a hint for preferred branching polarity

#49 · created Nov 05, 2011 by Daniel Le Berre core prio=Major type=New Feature
- 0
updated May 11, 2018
Fix NPE when solver is killed by the competition framework while the solver cleans up the learned clauses

#47 · created Oct 31, 2011 by Daniel Le Berre core prio=Major type=Bug
- 0
updated May 11, 2018
Add an API to reduce the value of the objective function in case of optimization

#46 · created Oct 27, 2011 by Daniel Le Berre prio=Major pseudo type=Sub-task
- 0
updated May 11, 2018
Allow easy explanation for OPB file

#28 · created Jul 20, 2011 by Daniel Le Berre prio=Major pseudo type=Improvement
- 0
updated May 11, 2018
Allow input string to be read properly using InputStream or Reader

#25 · created May 14, 2011 by Daniel Le Berre core prio=Major type=Improvement
- 2
updated May 11, 2018
Add statistics about SAT/UNSAT calls

#24 · created 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 · created 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 · created May 03, 2011 by Daniel Le Berre maxsat prio=Major type=New Feature
- 0
updated May 11, 2018
Allow creation of clauses, cardinality and pseudo boolean constraints using arrays of primitive type

#19 · created Apr 29, 2011 by Daniel Le Berre core prio=Major pseudo type=Improvement
- 0
updated May 11, 2018
Allow iterating over all prime impliquants

#6 · created Mar 13, 2011 by Daniel Le Berre core prio=Major type=New Feature
- 2
updated May 11, 2018
Use a specific data structure for binary clauses compatible with reason simplification

#1 · created Feb 12, 2011 by Daniel Le Berre core prio=Major type=Improvement
- 1
updated May 11, 2018

Prev
1
2
3
Next