search

jonnybest / Alloy2RelSMT

This is Alloy2RelSMT, a converter. It translates Alloy models into SMT files with a specific relational theory.
1 stars 0 forks source link

Lemmas dynamisch generieren #21

Open jonnybest opened 12 years ago

jonnybest commented 12 years ago

Bessere Idee fur die Zukunft: Lemmas von den Mustern im Modell abhängig machen. Also wenn ein bestimmter Ausdruck im Modell auftaucht dazu ein lemma generieren und nicht einfach blind anhand der Deklaration.

Wegen issue #19