10

8

6

4

2


9.1

5.7

6.8
0.9

2.1
0.0
1.8
0.0

5 Constraints packages and projects

  • constraints

    9.1 5.7 Haskell
    Constraint manipulation
  • mios

    6.8 0.9 Haskell
    A Minisat-based SAT solver in Haskell
  • superconstraints

    3.2 0.0 Haskell
    Access an instance's constraints
  • cluss

    2.1 0.0 Haskell
    simple alternative to type classes
  • exists

    1.8 0.0 Haskell
    Existential datatypes holding evidence of constraints

Add another 'Constraints' Package