incorrect expression in a quantified constraints translated to Alloy

gsdlab / clafer

Clafer is a lightweight modeling language

http://clafer.org

MIT License

45 stars 13 forks source link

Closed mantkiew closed 12 years ago

mantkiew commented 12 years ago