ModelWriter / AlloyInEcore

Embedding of First-Order Relational Logic into Meta-Object Facility

https://modelwriter.github.io/AlloyInEcore/

Geek Repo

Github PK Tool