10

8

6

4

2


8.6
1.4

7.1
0.0

3 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.
  • algebra-checkers

    - -
    Model and test API surfaces algebraically

Add another 'Model' Package