# i-am-tom/holmes

<https://repo.masters-masters.com/en/repos/i-am-tom/holmes>

[Home](https://repo.masters-masters.com/en) › [i-am-tom](https://repo.masters-masters.com/en/owners/i-am-tom) › [holmes](https://repo.masters-masters.com/en/repos/i-am-tom/holmes)

i-am-tom/holmes has 306 stars on GitHub. Its RepoMasters card: Alpha tier. A reference library for constraint-solving with propagators and CDCL.

| Field | Value |
| --- | --- |
| Owner | [i-am-tom](https://repo.masters-masters.com/en/owners/i-am-tom) |
| Stars | 306 |
| Forks | 17 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | MIT |
| Created | 2019 |
| Topics | propagation, constraint-solver, backtracking, logic-programming |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [i-am-tom/holmes](https://github.com/i-am-tom/holmes) |

## Repository

A reference library for constraint-solving with propagators and CDCL.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by i-am-tom

- [i-am-tom/haskell-exercises · ★ 664 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/i-am-tom/haskell-exercises)
- [i-am-tom/higgledy · ★ 171 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/i-am-tom/higgledy)

## Nearby in Haskell

- [haskell-prettyprinter/prettyprinter · ★ 309 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/haskell-prettyprinter/prettyprinter)
- [willtim/Expresso · ★ 308 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/willtim/Expresso)
- [fpco/inline-c · ★ 307 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/fpco/inline-c)
- [ekmett/trifecta · ★ 303 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/ekmett/trifecta)
- [HigherOrderCO/HVM3 · ★ 303 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/HigherOrderCO/HVM3)
- [haskell/bytestring · ★ 301 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/haskell/bytestring)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.