Issues · SAT4J / sat4j · GitLab

Java 9 modularization?

#142 · created Mar 21, 2018 by Mark Raynsford 3.0
- 4
updated Apr 24, 2018
Use a specific data structure for binary clauses compatible with reason simplification

#1 · created Feb 12, 2011 by Daniel Le Berre core prio=Major type=Improvement
- 1
updated May 11, 2018
Allow iterating over all prime impliquants

#6 · created Mar 13, 2011 by Daniel Le Berre core prio=Major type=New Feature
- 2
updated May 11, 2018
Allow creation of clauses, cardinality and pseudo boolean constraints using arrays of primitive type

#19 · created Apr 29, 2011 by Daniel Le Berre core prio=Major pseudo type=Improvement
- 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
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
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
Allow input string to be read properly using InputStream or Reader

#25 · created May 14, 2011 by Daniel Le Berre core prio=Major type=Improvement
- 2
updated May 11, 2018
Allow easy explanation for OPB file

#28 · created Jul 20, 2011 by Daniel Le Berre prio=Major pseudo type=Improvement
- 0
updated May 11, 2018
Add an API to reduce the value of the objective function in case of optimization

#46 · created Oct 27, 2011 by Daniel Le Berre prio=Major pseudo type=Sub-task
- 0
updated May 11, 2018
Fix NPE when solver is killed by the competition framework while the solver cleans up the learned clauses

#47 · created Oct 31, 2011 by Daniel Le Berre core prio=Major type=Bug
- 0
updated May 11, 2018
Allow the creation of a new variable with a hint for preferred branching polarity

#49 · created Nov 05, 2011 by Daniel Le Berre core prio=Major type=New Feature
- 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
Allow both lower and upper bounding on the ManyCore solvers.

#53 · created Dec 12, 2011 by Daniel Le Berre core prio=Major pseudo type=Sub-task
- 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 a way to ask the solver to stop searching after a given decision level is reached

#57 · created Jan 25, 2012 by Daniel Le Berre core prio=Major type=Sub-task
- 1
updated May 11, 2018
Allow easy control and information retrieval while the solver is running

#58 · created Feb 04, 2012 by Daniel Le Berre core prio=Major type=New Feature
- 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
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
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
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
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
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
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
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
Implement reusable trail

#114 · 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 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
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
Does Sat4j provide model counting capability?

#123 · created Nov 16, 2014 by Mouhammad Sakr core prio=Major type=Question
- 3
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
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
OPBSolver exports files with empty objectives

#127 · created Feb 24, 2015 by Ghost User prio=Major pseudo type=Question
- 0
updated Nov 12, 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
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
Support XCSP 3 format

#133 · created Oct 27, 2015 by Daniel Le Berre csp prio=Major type=New Feature
- 0
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
Incorrect answer with PB Solver

#136 · created Jan 17, 2016 by Anitha prio=Major pseudo type=Bug
- 2
updated Jul 07, 2018
Fix WBO issue found during PB 2016

#138 · created Jul 06, 2016 by Daniel Le Berre 2.3.6 prio=Major pseudo type=Bug
- 0
updated Jul 07, 2018
Add support for parity constraints

#140 · created Aug 24, 2016 by Daniel Le Berre 2.3.6 core prio=Major type=New Feature
- 1
updated Sep 16, 2018
ModelIteratorTest.testGlobalTimeoutCounter makes build instable

#146 · created Sep 16, 2018 by Daniel Le Berre
- 0
updated Sep 16, 2018
ArrayIndexOutOfBound exception on non normalized WBO opb file

#148 · created Oct 29, 2018 by Daniel Le Berre
- 0
updated Oct 29, 2018
Instability of timeout based tests

#149 · created Nov 10, 2018 by Daniel Le Berre core
- 0
updated Nov 10, 2018
Update code base to Java 7

#150 · created Nov 13, 2018 by Daniel Le Berre 2.3.6
- 0
updated Nov 13, 2018
Bug when mixing constraint removal and constraints satisfied by unit propagation

#153 · created Jan 15, 2019 by Miguel Neves
- 3
updated Jan 27, 2019
Provide a way to serialize constraints in files

#155 · created Feb 20, 2019 by Daniel Le Berre
- 8
updated Mar 23, 2019
some small problems in fileName-handling

#156 · created Jun 23, 2019 by Dieter von Holten
- 1
updated Jun 23, 2019
Fix new violation considered as a bug in SonarQube

#158 · created Aug 20, 2019 by Daniel Le Berre
- 0
updated Aug 20, 2019
Update continuous integration settings to build correctly for contributors

#159 · created Jan 03, 2020 by Daniel Le Berre
- 0
updated Jan 03, 2020
Refactor LearnedConstraintDeletionStrategy management

#160 · created Mar 11, 2020 by Daniel Le Berre
- 0
updated Mar 11, 2020
Provide access to decisions taken during the search in the API 1 of 2 tasks completed

#162 · created Jan 05, 2021 by Daniel Le Berre
- 0
updated Feb 22, 2021
MaxHSLike solver won't launch from command line

#163 · created Feb 19, 2021 by Romain WALLON
- 0
updated Feb 19, 2021
Missing negated literals in dedicated watch structure for computing prime implicants

#165 · created Mar 02, 2021 by Daniel Le Berre
- 0
updated Mar 03, 2021
Add a way to reveal the cardinality constraints found by DetectCards

#166 · created Mar 30, 2021 by Daniel Le Berre
- 0
updated Mar 30, 2021
Fix displayed information when revealing cardinality constraints

#167 · created Mar 30, 2021 by Daniel Le Berre
- 0
updated Mar 30, 2021
Compatibility issues with Maven 3.8.1

#168 · created Apr 07, 2021 by Romain WALLON
- 3
updated Apr 10, 2021