I Am Tom Holmes Save

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

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
License
MIT

Open Source Agenda Badge

Open Source Agenda Rating