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 join_ #4

Closed jonnybest closed 12 years ago

jonnybest commented 12 years ago

fixed with 7d82ab1d9a066649a06589761ac47ba0a1595ebb and bfee1b5517ffddd347807fc9e77ba29959efae50