@hackage holmes0.3.0.1

Tools and combinators for solving constraint problems.

Categories
License
MIT
Maintainer
i.am.tom.harding@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.3.2.0 Mon, 4 Jan 2021
- 0.3.0.1 Fri, 3 Apr 2020
- 0.3.0.0 Fri, 3 Apr 2020
- 0.2.0.0 Wed, 11 Mar 2020
- 0.1.0.1 Mon, 9 Mar 2020
- 0.1.0.0 Mon, 9 Mar 2020

Installation
In your cabal file:
Dependencies (9)
- base >=4.12 && <4.14
- containers >=0.6 && <0.7
- mtl >=2.2 && <2.3
- primitive >=0.7 && <0.8
- transformers >=0.5 && <0.6
- hashable >=1.3 && <1.4
Dependents (0)

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