Azucar Un outil de résolution des CSP en utilisant une approche basée sur la SAT.
Télécharger maintenant

Azucar Classement & Résumé

Azucar Mots clés

problème contrainte

Azucar La description

Azucar est un solveur de problèmes de satisfaction de contrainte qui est basé sur la méthode de satisfaction booléenne. L'application peut résoudre des problèmes de satisfaction des contraintes non linéaires finis, des problèmes d'optimisation des contraintes et du MAX-CSP sur des entiers. Il utilise la méthode de codage d'ordre compact qui représente chaque entier en utilisant un système de chiffres.

Azucar Logiciels associés