search

gsdlab / clafer

Clafer is a lightweight modeling language
http://clafer.org
MIT License
45 stars 13 forks source link

I253 #33

Closed mantkiew closed 11 years ago

mantkiew commented 11 years ago

Implementation for skip goals.