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 one_ #3

Closed jonnybest closed 12 years ago

jonnybest commented 12 years ago

fixed by fac4fd35bf5024b07eb6f22f275514af6f20cdcd