10

8

6

4

2


8.5
0.0

7.1
0.0

2 Model packages and projects

  • clafer

    8.5 0.0 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