Sugar 2.2.1

A SAT-based constraint solver

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!

What's new in Sugar 2.2.1:

  • Modified for Copris 2.2.5
Read full changelog
report
malware
send us
an update
LICENSE TYPE:
BSD 
FILE SIZE:
898 KB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Naoyuki Tamura
CATEGORY:
Home \ Developer Tools
1 Sugar Screenshot:
Sugar
Sugar is a free and open-source solver of a finite linear Constraint Satisfaction Problem (CSP) or a Constraint Optimization Problem (COP).

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

Last updated on July 8th, 2014

Runs on: Mac OS X (-)

requirements

#constraint solver #CSP solver #solve CSP #constraint #solve #solver #CSP

Add your review!

SUBMIT