AlphaPeu commune
i-am-tom/holmes
A reference library for constraint-solving with propagators and CDCL.
- Propriétaire
- i-am-tom (compte personnel)
- Étoiles
- Étoiles : 306
- Forks
- Forks : 17
- Langage
- Haskell
- Licence
- MIT
- Création
- 2019
- Sujets
- propagationconstraint-solverbacktrackinglogic-programming
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de i-am-tom
Les 3 dépôts de i-am-tom- i-am-tom/haskell-exercisesÉtoiles : 664HaskellAlpha
- i-am-tom/higgledyÉtoiles : 171HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- haskell-prettyprinter/prettyprinterÉtoiles : 309HaskellAlpha
- willtim/ExpressoÉtoiles : 308HaskellAlpha
- fpco/inline-cÉtoiles : 307HaskellAlpha
- HigherOrderCO/HVM3Étoiles : 304HaskellAlpha
- ekmett/trifectaÉtoiles : 303HaskellAlpha
- haskell/bytestringÉtoiles : 301HaskellAlpha