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 product_ #5

Closed jonnybest closed 12 years ago

jonnybest commented 12 years ago

new in d209c6ab82b2cacbe9cdee5faa514aba1fd8f746