Issues · SAT4J / sat4j

New issue

Bug with the CuttingPlanes strategy

#161 · opened Apr 29, 2020 by Jo Devriendt
- CLOSED
- 9
updated May 07, 2020
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
IBB removes blocking constraint

#157 · opened Aug 15, 2019 by Jonas Bollgrün
- CLOSED
- 6
updated Oct 16, 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
Sat4j cannot be built using maven 3.6.0

#154 · opened Jan 27, 2019 by Daniel Le Berre
- CLOSED
- 3
updated Jan 28, 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
Degradation in OPB solver from 2.3.5 to current version

#152 · opened Dec 15, 2018 by Miguel Neves
- CLOSED
- 2
updated Dec 15, 2018
Map returned by getStat() is empty

#151 · opened Dec 07, 2018 by Miguel Neves
- CLOSED
- 6
updated Dec 07, 2018
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
Rare NullPointerException with time based timeout

#147 · opened Sep 25, 2018 by Miguel Neves
- CLOSED
- 2
updated Nov 12, 2018
ModelIteratorTest.testGlobalTimeoutCounter makes build instable

#146 · opened Sep 16, 2018 by Daniel Le Berre
- 0
updated Sep 16, 2018
ParseInstance does not work properly on Windows

#145 · opened Sep 16, 2018 by Daniel Le Berre
- CLOSED
- 1
updated Nov 10, 2018
Issue when removing unit propagated literals with a PB constraint

#144 · opened Jul 01, 2018 by Daniel Le Berre
- CLOSED
- 1
updated Nov 12, 2018
A link is down on website

#143 · opened May 29, 2018 by ThIbault Falque
- CLOSED
- 1
updated Sep 16, 2018
Java 9 modularization?

#142 · opened Mar 21, 2018 by Mark Raynsford 3.0
- 4
updated Apr 24, 2018