@hackage EqualitySolver0.1.0.0

A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
dillonhuff@gmail.com
Links
- Documentation
- No source repository
Versions
- 0.1.0.2 Sun, 2 Nov 2014
- 0.1.0.1 Sun, 2 Nov 2014
- 0.1.0.0 Sat, 1 Nov 2014

Installation
In your cabal file:
Dependencies (5)
- base >=4.6 && <4.7
- containers
- mtl
- HUnit >=1.2 && <1.3
- union-find-array
Dependents (1)
@hackage/acme-everything