Azucar 0.2.4 Editors Comment
SAT-based CSP solver based on "compact order encoding"
Azucar 0.2.4 Tag
Azucar 0.2.4 Description
Azucar is a free and open-source SAT-based CSP solver that provides various enahncements to its predecessor, Sugar - an award-winning system of GLOBAL categories of the 2008 and 2009 International CSP solver competitions.Azucar is able to solve finite non-linear Constraint Satisfaction Problems (CSP), Constraint Optimization Problems (COP), and Max-CSP over integers.Moreover, the Azucar tool employs a new SAT-encoding method named compact order encoding.This method implies that each integer is represented by using a numeral system of any base, and each digit-wise comparison is encoded by using order encoding.So, in the order encoding, a comparison x
Azucar 0.2.4 Related Software
Azucar 0.2.4 by Category
Azucar 0.2.4 Statement
- If you need help or have a question to Azucar 0.2.4, visit our forum or contact us
- Would you like to update Azucar 0.2.4 info?