Issues · SAT4J / sat4j · GitLab

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
Add documents on Sat4j web site to conform with OW2 mature project requirements

#92 · created Feb 18, 2013 by Daniel Le Berre core maxsat prio=Major pseudo type=Task
- 0
updated Jul 07, 2018
Make Sat4j easily usable in Scala

#74 · created Jul 11, 2012 by Daniel Le Berre 3.0 core maxsat prio=Major pseudo type=Sub-task visualization
- 6
updated May 11, 2018
Make Sat4j easily embeddable with JVM language

#73 · created Jul 11, 2012 by Daniel Le Berre 3.0 core maxsat prio=Major pseudo type=New Feature visualization
- 0
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
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
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