10

8

6

4

2


9.1

6.0

6.5

2.1

2.2
0.0
1.8
0.0

5 Constraints packages and projects

  • constraints

    9.1 6.0 Haskell
    Constraint manipulation
  • mios

    6.5 2.1 Haskell
    A Minisat-based SAT solver in Haskell
  • superconstraints

    3.3 0.0 Haskell
    Access an instance's constraints
  • cluss

    2.2 0.0 Haskell
    simple alternative to type classes
  • exists

    1.8 0.0 Haskell
    Existential datatypes holding evidence of constraints

Add another 'Constraints' Package