<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
i-am-tom/holmes
A reference library for constraint-solving with propagators and CDCL.
Haskell
Stars 308
Forks 16
Watchers 308
Open issues 10
License MIT License
Details
仓库信息
Owner
i-am-tom
Homepage
https://hackage.haskell.org/package/holmes
GitHub
https://github.com/i-am-tom/holmes
Last pushed
2024-07-02
Last updated
2025-12-15
Issues fetched at
—
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--