The latest version of grisette is 0.10.0.0-0.
grisette
Version 0.5.0.1 revision 1 uploaded by siruilu.
Package meta
- Synopsis
- Symbolic evaluation as a library
- Description
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.
- Author
- Sirui Lu, Rastislav Bodík
- Bug reports
- https://github.com/lsrcz/grisette/issues
- Category
- Formal Methods, Theorem Provers, Symbolic Computation, SMT
- Copyright
- 2021-2024 Sirui Lu
- Homepage
- https://github.com/lsrcz/grisette#readme
- Maintainer
- Sirui Lu (siruilu@cs.washington.edu)
- Package URL
- n/a
- Stability
- n/a