Issues · SAT4J / sat4j · GitLab

Allow the definitions of levels of the heuristic

#122 · created 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 · created 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 · created 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 · created 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 · created May 14, 2011 by Daniel Le Berre core prio=Major type=Improvement
- 2
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
Expose solver stats and info programatically

#62 · created 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 · created 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 · created 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 · created Apr 24, 2013 by Mihai Barbuceanu prio=Major pseudo type=Improvement
- 0
updated Jul 07, 2018
Implement reusable trail

#114 · created Oct 21, 2013 by Daniel Le Berre core prio=Major type=Improvement
- 0
updated Jul 07, 2018
Fix issue in Minisat Expensive Simplification

#115 · created 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 · created 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 · created Nov 04, 2015 by Daniel Le Berre core prio=Major type=Improvement
- 0
updated Jul 07, 2018