Azucar. ein Werkzeug zum Lösen von CSPs mithilfe eines SAT-basierten Ansatzes.
Jetzt downloaden

Azucar. Ranking & Zusammenfassung

Azucar. Stichworte

Problem Zwang

Azucar. Beschreibung

Azucar ist ein Einschränkungszufriedenheits-Problemlöser, der auf der booleschen Befriefungsmethode basiert. Die Anwendung kann endliche nichtlineare Einschränkungs-Zufriedenheitsprobleme, Einschränkungsoptimierungsprobleme und max-csp über Ganzzahlen lösen. Es verwendet das Codierungsmethode der kompakten Ordnung, das jede ganze Zahl mit einem Ziffernsystem darstellt.

Azucar. Zugehörige Software