Pinned Loading

1. conjure-cp/conjure conjure-cp/conjure Public

   Conjure: The Automated Constraint Modelling Tool

   Haskell 109 21

2. conjure-cp/EssenceCatalog conjure-cp/EssenceCatalog Public

   A collection of problem specifications in Essence.

   Python 10 5

3. csplib/csplib csplib/csplib Public

   A benchmark library for constraints

   Prolog 98 73

4. dlrep/dlrep dlrep/dlrep Public

   Data Linkage Repository - http://dlrep.org

   Python 1 4

5. idris-lang/Idris-dev idris-lang/Idris-dev Public archive

   A Dependently Typed Functional Programming Language

   Haskell 3.5k 631

6. minion-hs minion-hs Public

   Low level Haskell bindings to Minion

   Haskell 2 1