Summary

Description

Java 8 based version of Sat4j

  • Due:01/Sep/16

Issues: Unresolved

Key Summary Due Date
New Feature SAT-73 Make Sat4j easily embeddable with JVM language
Sub-task SAT-74 Make Sat4j easily usable in Scala
Improvement SAT-122 Allow the definitions of levels of the heuristic

View Issues

Issues: Updated recently

Key Summary Updated
Improvement SAT-122 Allow the definitions of levels of the heuristic
New Feature SAT-73 Make Sat4j easily embeddable with JVM language
Sub-task SAT-74 Make Sat4j easily usable in Scala

View Issues