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.3 8.0 Haskell
    Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
  • constraints

    9.2 3.9 Haskell
    Constraint manipulation
  • mios

    7.3 0.0 Haskell
    A Minisat-based SAT solver in Haskell
  • constraints-emerge

    6.8 0.0 Haskell
    Defer instance lookups until runtime
  • csp

    6.3 0.0 Haskell
    Discrete constraint satisfaction problem (CSP) solver.
  • 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.8 0.0 Haskell
    simple alternative to type classes
  • nondeterminism

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

    2.8 0.0 Haskell
    Existential datatypes holding evidence of constraints