@hackage Smooth0.1.0.1

A tiny, lazy SMT solver

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
dillonhuff@gmail.com
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.1.0.1 Wed, 5 Nov 2014

A tiny, lazy SMT solver. This solver is based on algorithms described in 'Decision Procedures: An Algorithmic Point of View'

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything