holmes
Version 0.3.2.0 revision 0 uploaded by i_am_tom.
Package meta
- Synopsis
- Tools and combinators for solving constraint problems.
- Description
A reference library for constraint-solving with propagators and CDCL.
- Author
- Tom Harding
- Bug reports
- n/a
- Category
- Data
- Copyright
- n/a
- Homepage
- https://github.com/i-am-tom/holmes/
- Maintainer
- i.am.tom.harding@gmail.com
- Package URL
- n/a
- Stability
- n/a