sbv-10.12: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

Index - +

+!Data.SBV.Tools.Overflow
++ 
1 (Function)Data.SBV.String
2 (Function)Data.SBV.List