Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : yices
Incomplete (no bitvectors) syntax, parser, and inter process communication to Yices from Haskell through pipe. Purpose for building and using this library was to generate test cases from constraints that SMT solvers can solve. I only used it for that particular purpose, so the code in general is not yet fully tested. Use at your own risk and error reports are welcomed. See http://yices.csl.sri.com/ for further information on Yices.
Registry
- JSON
purl: pkg:hackage/yices
Keywords: bsd3, library, math
License: BSD-3-Clause
Latest release: over 12 years ago
First release: almost 15 years ago
Dependent repositories: 4
Downloads: 6,970 total
Last synced: 22 days ago