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