Sat4j
  1. Sat4j

2.3.4

Summary

Description

maintenance release for inclusion in Eclipse Kepler

  • Due:19/Apr/13

Issues: Unresolved

Key Summary Due Date

View Issues

Issues: Updated recently

Key Summary Updated
Bug SAT-95 OptToPBSATAdapter does not always return an optimal solution
Improvement SAT-98 Allow hybrid lexico optimization
Bug SAT-101 CSReader doesn't throws a ContradictionException when adding conflicting clauses.

View Issues