10

8

6

4

2


9.1

5.7

6.8
0.9

2.1
0.0

7 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
  • constraints-emerge

    6.8 0.0 Haskell
    Defer instance lookups until runtime
  • constraints-deriving

    5.4 4.5 Haskell
    Manipulating constraints and deriving class instances programmatically.
  • 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