Issues · SAT4J / sat4j · GitLab

Java 9 modularization?

#142 · opened Mar 21, 2018 by Mark Raynsford 3.0
- 4
updated Apr 24, 2018
Allow the definitions of levels of the heuristic

#122 · opened Oct 28, 2014 by Daniel Le Berre 3.0 core prio=Major pseudo type=Improvement
- 0
updated Jul 07, 2018
Make Sat4j easily usable in Scala

#74 · opened 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 · opened Jul 11, 2012 by Daniel Le Berre 3.0 core maxsat prio=Major pseudo type=New Feature visualization
- 0
updated May 11, 2018