Programming language: - - -

Sat4J alternatives and similar libraries

Based on the "Constraint Satisfaction Problem Solver" category.

Do you think we are missing an alternative of Sat4J or a related project?

Add another 'Constraint Satisfaction Problem Solver' Library