Selected Tags

Click on a tag to remove it

Utils packages

Showing projects tagged as Constraints and Utils

  • constraints

    9.2 4.6 Haskell
    Constraint manipulation
  • mios

    7.2 0.0 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.2 Haskell
    Manipulating constraints and deriving class instances programmatically.
  • superconstraints

    4.6 0.0 Haskell
    Access an instance's constraints
  • cluss

    3.7 0.0 Haskell
    simple alternative to type classes
  • exists

    1.9 0.0 Haskell
    Existential datatypes holding evidence of constraints