A SAT-based constraint solver
Moreover, Sugar encodes the problems into a Boolean Satisfiability Testing Problems (SAT) and solves the SAT problem by using an external SAT solver.
The Sugar tool employs a new SAT-encoding method named "order encoding". In the order encoding, a comparison x
In a hurry? Add it to your Download Basket!
What's New in This Release:
- Modified for Copris 2.2.5