- Constraint-Programmierung =
mathend000#
- anwendungsspezifische logische Formel,
- generische bereichsspezifische
Such/Lösungsverfahren
- CP ist eine Form der deklarativen Programmierung
- typische Anwendungsfälle für CP mit
Formeln ohne Quantoren, mit freien Variablen,
Solver sagt:
- JA: beweist Existenz-Aussage,
rekonstruiere Lösung der Anwendungsaufgabe
aus Modell
- NEIN: das beweist All-Aussage
(z. B. Implementierung erfüllt Spezifikation
für jede Eingabe)
2014-03-31
