sat4j.org - SAT4J

home > domains > sat4j.org

Description: Sat4j, the boolean satisfaction and optimization library in Java

Example domain paragraphs

(from OW2 Gitlab)

Sat4j is an open source projet. As such, we welcome your feedback: Report bugs or feature requests Access source code Continuous Integration

The easiest way to proceed is to add a link to this web site in a credits page if you use Sat4j in your software.

Links to sat4j.org (2)

• kociemba.org Kociemba's Homepage
• featureide.github.io FeatureIDE | An extensible framework for feature-oriented software development