Sat4j
  1. Sat4j

2.3.6

Summary

Description

release containing the solvers submitted to SAT13 competitive events and algorithms published at FMCAD13 and SAT14

  • Due:17/Nov/15

Issues: Unresolved

Key Summary Due Date
Bug SAT-138 Fix WBO issue found during PB 2016
New Feature SAT-140 Add support for parity constraints

View Issues

Issues: Updated recently

Key Summary Updated
New Feature SAT-140 Add support for parity constraints
Bug SAT-139 Invalid multiple solutions with call to isSatisfiable(true) in ModelIterator
Bug SAT-138 Fix WBO issue found during PB 2016

View Issues