Sugar iconSugar 2.2.1

A SAT-based constraint solver
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, 1:11 GMT
file size:
898 KB
price:
FREE!
developed by:
Naoyuki Tamura
license type:
BSD 
operating system(s):
Mac OS X
binary format:
-
category:
Home \ Developer Tools

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

1 Screenshot
Sugar
What's New in This Release:
  • Modified for Copris 2.2.5
read full changelog

Add your review!

SUBMIT