Azucar Een gereedschap voor het oplossen van CSP's door een op de za op de za op de za's te gebruiken.
Download nu

Azucar Rangschikking & Samenvatting

Azucar Tags

probleem dwang

Azucar Beschrijving

Azucar is een beperkingsprobleemoplossing die is gebaseerd op de methode Boolean-bevrediging. De applicatie kan eindige niet-lineaire beperkingsproblemen oplossen, problemen en MAX-CSP-optimalisatieproblemen en MAX-CSP over gehele getallen oplossen. Het gebruikt de compacte ordingscoderingsmethode die elk geheel getal vertegenwoordigt door een cijfersysteem te gebruiken.

Azucar Gerelateerde software