SSTG (hackage): Prototype of STG-based Symbolic Execution for Haskell.
Keywords: bsd3|library|program|web