Sat4j

Sat4j

Summary

SAT4J is a boolean reasoning engine in Java based on the SATisfiability problem (SAT). It allows to solve both satisfaction and optimization problems.

Versions: Unreleased

Name Release date
Unreleased 2.3.6
Unreleased 3.0

Issues: 30 Day Summary

Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Created 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues Resolved 0 issues
Issues: 0 created and 0 resolved

Activity Stream