g2 (hackage): A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G2
Keywords: bsd3|formal-methods|library|program|symbolic-computation