GitHub repository: lsrcz/grisette
Primary language: Haskell
Description: A monadic library for symbolic evaluation