10

8

6

4

2


8.6
1.4

7.1
0.0

2 Model packages and projects

  • clafer

    8.6 1.4 Haskell
    Compiles Clafer models to other formats
  • claferIG

    7.1 0.0 Haskell
    claferIG is an interactive tool that generates instances of Clafer models.

Add another 'Model' Package