yices-easy: Simple interface to the Yices SMT (SAT modulo theories) solver.
This library provides a simple interface to Yices, an SMT solver available from http://yices.csl.sri.com/.
It uses the Yices C API, which you will need to have installed. The API is not installed on the Hackage server, so you may need to download this package in order to read its documentation. Sorry.
The core functionality is provided by modules Types and Run, and
re-exported by Yices.Easy. Module Sugar provides optional syntactic
sugar, and Build provides optional monadic bookkeeping.
The library aims for simplicity, and not all features of Yices are supported. Suggestions and patches are welcome.
Modules
- Yices
- Yices.Easy
- Yices.Easy.Build
- Yices.Easy.Run
- Yices.Easy.Sugar
- Yices.Easy.Types
- Yices.Easy
Downloads
- yices-easy-0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1 |
|---|---|
| Dependencies | base (>=3 && <5), bindings-yices (>=0.2), containers (>=0.3), transformers (>=0.2) [details] |
| License | BSD-3-Clause |
| Author | Keegan McAllister <mcallister.keegan@gmail.com> |
| Maintainer | Keegan McAllister <mcallister.keegan@gmail.com> |
| Category | Math, Algorithms, Theorem Provers |
| Home page | http://www.ugcs.caltech.edu/~keegan/haskell/yices-easy/ |
| Uploaded | by KeeganMcAllister at 2010-09-29T05:58:14Z |
| Distributions | NixOS:0.1 |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 1125 total (7 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] All reported builds failed as of 2016-12-29 [all 13 reports] |