Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions (Java)
ferhaterata opened this issue · 0 comments
ferhaterata commented
Develop a translation procedure in Java which accepts a well-formed Alloy Signatures and Relation Declarations and produces SMTLIB Axioms.
Depends on #96