Home
Projects
Resources
Alternatives
Blog
Sign In
I Am Tom Holmes
Save
A reference library for constraint-solving with propagators and CDCL.
Overview
Reviews
Resources
Project README
README.lhs
Open Source Agenda is not affiliated with "I Am Tom Holmes" Project. README Source:
i-am-tom/holmes
Stars
297
Open Issues
5
Last Commit
2 months ago
Repository
i-am-tom/holmes
License
MIT
Homepage
https://hackage.haskell.org/package/holmes
Tags
Backtracking
Constraint Solver
Logic Programming
Propagation
Open Source Agenda Badge
Submit Review
Review Your Favorite Project
Submit Resource
Articles, Courses, Videos
Submit Article
Submit a post to our blog
From the blog
Dec 11, 2022
How to Choose Which Programming Language to Learn First?
From the blog
Dec 11, 2022
How to Choose Which Programming Language to Learn First?
Home
Projects
Resources
Alternatives
Blog
Sign In
Sign In to OSA
I agree with
Terms of Service
and
Privacy Policy
Sign In with Github