Rare find

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

github.com/i-am-tom/holmes

by

@i-am-tom

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.