Issues · SAT4J / sat4j · GitLab

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
Support XCSP 3 format

#133 · created Oct 27, 2015 by Daniel Le Berre csp prio=Major type=New Feature
- 0
updated Jul 07, 2018
nesting atmost/atleast constraints into other constrains when using the gate translator

#132 · created Oct 20, 2015 by Mihai Barbuceanu core prio=Major type=New Feature
- 2
updated Jul 07, 2018
PB solver finds wrong optimal solution when a unit clause appears in the input file

#128 · created Jul 15, 2015 by Daniel Le Berre prio=Blocker pseudo type=Bug
- 3
updated Jul 07, 2018
OPBSolver exports files with empty objectives

#127 · created Feb 24, 2015 by Ghost User prio=Major pseudo type=Question
- 0
updated Nov 12, 2018
How do I do an industry standard export for Partial Weighted MaxSat problems?

#126 · created Feb 24, 2015 by Ghost User prio=Major pseudo type=Question
- 0
updated Jul 07, 2018
CP solver provides incorrect results when performing Lexico-optimization

#125 · created Jan 15, 2015 by Daniel Le Berre prio=Major pseudo type=Bug
- 0
updated Jul 07, 2018
Does Sat4j provide model counting capability?

#123 · created Nov 16, 2014 by Mouhammad Sakr core prio=Major type=Question
- 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
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
Implement reusable trail

#114 · created Oct 21, 2013 by Daniel Le Berre core prio=Major type=Improvement
- 0
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
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
Allow to restrict the enumeration to a subset of variables

#82 · created Nov 23, 2012 by Daniel Le Berre core prio=Major type=New Feature
- 2
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
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