Azucar Uno strumento per risolvere i PCS utilizzando un approccio basato su satelliti.
Scarica ora

Azucar Classifica e riepilogo

Azucar Tag

problema costrizione

Azucar Descrizione

AzuCar è un solver problematico per la soddisfazione dei vincoli che si basa sul metodo di soddisfazione booleano. L'applicazione può risolvere problemi di soddisfazione dei vincoli non lineari finiti, problemi di ottimizzazione dei vincoli e MAX-CSP su numeri interi. Utilizza il metodo di codifica dell'ordine compatto che rappresenta ogni numero intero utilizzando un sistema numerico.

Azucar Software correlato