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

Get your project started

This project does not have issues yet, but it looks like you don't have rights to create issues either. If you want to kick things off, get in touch with the project lead.

Activity Stream