aEqualsBTerm should be part of the quantified formula. also, a and b need to be universally quantified

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

Closed jonnybest closed 12 years ago

jonnybest commented 12 years ago

jonnybest commented 12 years ago

fixed in next commit