Ecosyste.ms: Packages

hackage.haskell.org : grisette

Grisette is a reusable symbolic evaluation library for Haskell. By translating programs into constraints, Grisette can help the development of program reasoning tools, including verification, synthesis, and more. This Grisette module exports all you need for building a symbolic evaluation tool. For more details, please checkout the README.

Registry - Source - Homepage - JSON
purl: pkg:hackage/grisette
Keywords: bsd3, formal-methods, library, smt, symbolic-computation, theorem-provers, haskell, symbolic-evaluation, symbolic-execution, synthesis, verification
License: BSD-3-Clause
Latest release: about 1 month ago
First release: over 1 year ago
Dependent packages: 1
Dependent repositories: 2
Downloads: 274 total
Stars: 44 on GitHub
Forks: 3 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 29 days ago

• Readme
• Versions 9
• Dependent Packages 1
• Maintainers 1