10

8

6

4

2


8.7
0.0

7.2
0.0

3 Model packages and projects

  • clafer

    8.7 0.0 Haskell
    Compiles Clafer models to other formats
  • algebra-checkers

    7.5 6.9 Haskell
    Model and test API surfaces algebraically
  • claferIG

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

Add another 'Model' Package