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

Components