hackage.haskell.org "symbolic-execution" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "symbolic-execution" keyword.
grisette 0.13.0.1
Grisette is a reusable symbolic evaluation library for Haskell. By translating programs into cons...18 versions - Latest release: 12 days ago - 1 dependent package - 2 dependent repositories - 844 downloads total - 67 stars on GitHub - 1 maintainer