AlphaUncommon
i-am-tom/holmes
A reference library for constraint-solving with propagators and CDCL.
- Owner
- i-am-tom (personal account)
- Stars
- Stars: 306
- Forks
- Forks: 17
- Language
- Haskell
- License
- MIT
- Created
- 2019
- Topics
- propagationconstraint-solverbacktrackinglogic-programming
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by i-am-tom
All 3 repos by i-am-tom- i-am-tom/haskell-exercisesStars: 664HaskellAlpha
- i-am-tom/higgledyStars: 171HaskellPrototype
Nearby in Haskell
All Haskell repos- haskell-prettyprinter/prettyprinterStars: 309HaskellAlpha
- willtim/ExpressoStars: 308HaskellAlpha
- fpco/inline-cStars: 307HaskellAlpha
- HigherOrderCO/HVM3Stars: 304HaskellAlpha
- ekmett/trifectaStars: 303HaskellAlpha
- haskell/bytestringStars: 301HaskellAlpha