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

support for diff_ #2

Closed jonnybest closed 12 years ago

jonnybest commented 12 years ago

fixed in a74cfef55244f03e9a90a91414e302df8da6dc88