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 4.3 Haskell
    My sandbox for experimenting with solver algorithms.
  • constraints

    9.2 4.4 Haskell
    Tools for programming with ConstraintKinds in GHC
  • mios

    7.6 0.0 Haskell
    A SAT solver written in Haskell.
  • constraints-emerge

    7.1 0.0 Haskell
    📤 defer instance resolution until runtime
  • csp

    6.5 0.0 Haskell
    Constraint satisfaction problem (CSP) solvers for Haskell
  • constraints-deriving

    5.6 0.0 Haskell
    Programmatically create new instances using core-to-core plugins
  • superconstraints

    3.9 0.0 Haskell
    Access an instance's constraints
  • nondeterminism

    3.8 2.8 Haskell
    Nondeterministic computations in Haskell
  • cluss

    3.3 0.0 Haskell
    simple alternative to type classes
  • exists

    2.0 0.0 Haskell
    Existential datatypes holding evidence of constraints