The yices-easy package

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.

Properties

Version	0.1
Dependencies	base (≥3 & <5), bindings-yices (≥0.2), containers (≥0.3), transformers (≥0.2)
License	BSD3
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/
Upload date	Wed Sep 29 05:58:14 UTC 2010
Uploaded by	KeeganMcAllister
Build failure	ghc-6.12 (log), ghc-7.0 (log)

Modules

Yices
- Yices.Easy
  - Yices.Easy.Build
  - Yices.Easy.Run
  - Yices.Easy.Sugar
  - Yices.Easy.Types

Downloads

yices-easy-0.1.tar.gz (Cabal source package)
package description (included in the package)