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. The Grisette module exports all the core APIs for building a symbolic evaluation tool. A high-level overview of the module structures are available there. A detailed introduction to Grisette is available at Grisette.Core. More lifted libraries are provided in Grisette.Lib.* modules. The Grisette.Unified module offers an experimental unified interface for symbolic and concrete evaluation. This module should be imported qualified. For more details, please checkout the README and tutorials.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/grisette
Keywords:
bsd3
, formal-methods
, library
, smt
, symbolic-computation
, theorem-provers
, Propose Tags
, haskell
, symbolic-evaluation
, symbolic-execution
, synthesis
, verification
License: BSD-3-Clause
Latest release: 14 days ago
First release: over 2 years ago
Dependent packages: 1
Dependent repositories: 2
Downloads: 844 total
Stars: 67 on GitHub
Forks: 3 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 13 days ago