10

8

6

4

2


8.6
0.0

7.2
0.0

2 Model packages and projects

  • clafer

    8.6 0.0 Haskell
    Compiles Clafer models to other formats
  • claferIG

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

Add another 'Model' Package