Constraint-Expression

Ausdruckskraft

Constraint-Expressions kombinieren Prädikate (Funktionen). Funktionen können alles abbilden, was eine Turing-Maschine abbilden kann (sind Turing-vollständig) Alle Möglichkeiten der Aussagenlogik nutzbar

Constraint-Code-Generator

Verknüpft Prädikate mit AND, OR sowie NOT (XOR) (Basis meines Code-Generators)
Anfang weiter