Azucar A tool for solving CSPs by using a SAT-based approach.
Download

Azucar Ranking & Summary

Azucar Tags

problem constraint

Azucar Description

Azucar is a constraint satisfaction problem solver that is based on the Boolean satisfiability method. The application can solve finite non-linear constraint satisfaction problems, constraint optimization problems and Max-CSP over integers. It uses the compact order encoding method that represents each integer by using a numeral system.

Azucar Related Software