Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Constraints packages

Showing projects tagged as Constraints

  • toysolver

    9.1 7.8 Haskell
    Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
  • constraints

    9.1 5.7 Haskell
    Constraint manipulation
  • constraints-emerge

    6.8 0.0 Haskell
    Defer instance lookups until runtime
  • mios

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

    5.5 0.0 Haskell
    Discrete constraint satisfaction problem (CSP) solver.
  • constraints-deriving

    5.4 5.1 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
  • nondeterminism

    1.9 0.0 Haskell
    A monad and monad transformer for nondeterministic computations.
  • exists

    1.8 0.0 Haskell
    Existential datatypes holding evidence of constraints