Constraint manipulation

constraints alternatives and similar packages

Based on the "Constraints" category

• mios

  7.2 0.0 constraints VS mios

  A Minisat-based SAT solver in Haskell

• constraints-emerge

  6.8 0.0 constraints VS constraints-emerge

  Defer instance lookups until runtime

• constraints-deriving

  5.4 4.2 constraints VS constraints-deriving

  Manipulating constraints and deriving class instances programmatically.

• superconstraints

  4.6 0.0 constraints VS superconstraints

  Access an instance's constraints

• cluss

  3.7 0.0 constraints VS cluss

  simple alternative to type classes

• exists

  1.9 0.0 constraints VS exists

  Existential datatypes holding evidence of constraints

Do you think we are missing an alternative of constraints or a related project?

Add another 'Constraints' Package

Popular Comparisons

• cluss
  vs
  exists
• superconstraints
  vs
  cluss