The yices-easy package

[Tags: bsd3, library]

This library provides a simple interface to Yices, an SMT solver available from

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.


Change logNone available
Dependenciesbase (>=3 && <5), bindings-yices (>=0.2), containers (>=0.3), transformers (>=0.2) [details]
AuthorKeegan McAllister <>
MaintainerKeegan McAllister <>
CategoryMath, Algorithms, Theorem Provers
Home page
UploadedWed Sep 29 05:58:14 UTC 2010 by KeeganMcAllister
Downloads279 total (18 in last 30 days)
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-10-01 [all 4 reports]



Maintainers' corner

For package maintainers and hackage trustees