Issues · SAT4J / sat4j · GitLab

Concurrent calls to isSatisfiable

#67 · created Jun 18, 2012 by Alexey Voronov 2.3.2 core prio=Minor type=Improvement
- CLOSED
- 5
updated Jan 03, 2019
Use package-info.java instead of package.html for package JavaDoc

#59 · created Feb 12, 2012 by Daniel Le Berre 2.3.2 core maxsat prio=Major pseudo type=Improvement
- CLOSED
- 0
updated Jan 03, 2019
Separate MS and PWMS decorator from the optimization method

#45 · created Oct 25, 2011 by Daniel Le Berre 2.3.1 maxsat prio=Major type=Improvement
- CLOSED
- 1
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
Allow the solver to be aware of the user defined max var id

#43 · created Oct 18, 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 · created Oct 18, 2011 by Daniel Le Berre 2.3.1 core maxsat prio=Major pseudo type=Improvement
- CLOSED
- 1
updated Jul 07, 2018
Use a specific data structure to locate efficiently the weight associated to a literal in a counter based constraint

#41 · created Oct 16, 2011 by Daniel Le Berre 2.3.1 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 · created Oct 12, 2011 by Daniel Le Berre 2.3.1 core prio=Major type=Improvement
- CLOSED
- 2
updated Jul 07, 2018
Investigate usage of plain CNF rather than custom cardinality of PB constraints

#38 · created Oct 12, 2011 by Daniel Le Berre 2.3.2 core maxsat prio=Major pseudo type=Improvement
- CLOSED
- 3
updated Jul 07, 2018
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
Allow pretty printing of solutions

#36 · created Sep 27, 2011 by Daniel Le Berre core maxsat prio=Major pseudo type=Improvement
- CLOSED
- 2
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
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
Make sure that all solvers return a unit clause in addClause

#34 · created Sep 07, 2011 by Daniel Le Berre 2.3.1 core prio=Major type=Improvement
- CLOSED
- 1
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
Improve project documentation (including web site)

#33 · created 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
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
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
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
Expose solver stats and info programatically

#62 · created Mar 19, 2012 by Pablo Abad core prio=Major type=Improvement
- 2
updated May 11, 2018

Prev
1
2
3
Next