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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Prev
1
2
3
Next