Issues · SAT4J / sat4j · GitLab

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