Issues · SAT4J / sat4j · GitLab

Refactor LearnedConstraintDeletionStrategy management

#160 · opened Mar 11, 2020 by Daniel Le Berre
- 0
updated Mar 11, 2020
Update continuous integration settings to build correctly for contributors

#159 · opened Jan 03, 2020 by Daniel Le Berre
- 0
updated Jan 03, 2020
Fix new violation considered as a bug in SonarQube

#158 · opened Aug 20, 2019 by Daniel Le Berre
- 0
updated Aug 20, 2019
some small problems in fileName-handling

#156 · opened Jun 23, 2019 by Dieter von Holten
- 1
updated Jun 23, 2019
Provide a way to serialize constraints in files

#155 · opened Feb 20, 2019 by Daniel Le Berre
- 8
updated Mar 23, 2019
Bug when mixing constraint removal and constraints satisfied by unit propagation

#153 · opened Jan 15, 2019 by Miguel Neves
- 3
updated Jan 27, 2019
Update code base to Java 7

#150 · opened Nov 13, 2018 by Daniel Le Berre 2.3.6
- 0
updated Nov 13, 2018
Instability of timeout based tests

#149 · opened Nov 10, 2018 by Daniel Le Berre core
- 0
updated Nov 10, 2018
ArrayIndexOutOfBound exception on non normalized WBO opb file

#148 · opened Oct 29, 2018 by Daniel Le Berre
- 0
updated Oct 29, 2018
ModelIteratorTest.testGlobalTimeoutCounter makes build instable

#146 · opened Sep 16, 2018 by Daniel Le Berre
- 0
updated Sep 16, 2018
Java 9 modularization?

#142 · opened Mar 21, 2018 by Mark Raynsford 3.0
- 4
updated Apr 24, 2018
Add support for parity constraints

#140 · opened Aug 24, 2016 by Daniel Le Berre 2.3.6 core prio=Major type=New Feature
- 1
updated Sep 16, 2018
Fix WBO issue found during PB 2016

#138 · opened Jul 06, 2016 by Daniel Le Berre 2.3.6 prio=Major pseudo type=Bug
- 0
updated Jul 07, 2018
Incorrect answer with PB Solver

#136 · opened Jan 17, 2016 by Anitha prio=Major pseudo type=Bug
- 2
updated Jul 07, 2018
Throw IllegalStateException when calling unsatExplanation to avoid NPE.

#134 · opened Nov 04, 2015 by Daniel Le Berre core prio=Major type=Improvement
- 0
updated Jul 07, 2018
Support XCSP 3 format

#133 · opened 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 · opened 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 · opened Jul 15, 2015 by Daniel Le Berre prio=Blocker pseudo type=Bug
- 3
updated Jul 07, 2018
OPBSolver exports files with empty objectives

#127 · opened 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 · opened Feb 24, 2015 by Ghost User prio=Major pseudo type=Question
- 0
updated Jul 07, 2018

Prev
1
2
3
Next