Issues · SAT4J / sat4j · GitLab

Update code base to Java 7

#150 · opened Nov 13, 2018 by Daniel Le Berre 2.3.6
- 0
updated Nov 13, 2018
Fix WBO issue found during PB 2016

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

#140 · opened Aug 24, 2016 by Daniel Le Berre 2.3.6 core type=New Feature prio=Major
- 1
updated Sep 16, 2018
Java 9 modularization?

#142 · opened Mar 21, 2018 by Mark Raynsford 3.0
- 4
updated Apr 24, 2018
Make Sat4j easily embeddable with JVM language

#73 · opened Jul 11, 2012 by Daniel Le Berre 3.0 core maxsat pseudo visualization type=New Feature prio=Major
- 0
updated May 11, 2018
Make Sat4j easily usable in Scala

#74 · opened Jul 11, 2012 by Daniel Le Berre 3.0 core maxsat pseudo visualization type=Sub-task prio=Major
- 6
updated May 11, 2018
Allow the definitions of levels of the heuristic

#122 · opened Oct 28, 2014 by Daniel Le Berre 3.0 core pseudo type=Improvement prio=Major
- 0
updated Jul 07, 2018
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
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
Use a specific data structure for binary clauses compatible with reason simplification

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

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

#19 · opened Apr 29, 2011 by Daniel Le Berre core pseudo type=Improvement prio=Major
- 0
updated May 11, 2018
Allow creation of soft constraints in a specific GateTranslator

#20 · opened May 03, 2011 by Daniel Le Berre maxsat type=New Feature prio=Major
- 0
updated May 11, 2018
DependencyHelper (the solvers in general) behave differently when units are set first or set last

#22 · opened May 09, 2011 by Daniel Le Berre core maxsat pseudo type=Bug prio=Major
- 0
updated May 11, 2018
Add statistics about SAT/UNSAT calls

#24 · opened May 13, 2011 by Daniel Le Berre core maxsat pseudo type=Improvement prio=Major
- 0
updated May 11, 2018
Allow input string to be read properly using InputStream or Reader

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

#28 · opened Jul 20, 2011 by Daniel Le Berre pseudo type=Improvement prio=Major
- 0
updated May 11, 2018

Prev
1
2
3
Next