SBV: SMT Based Verification in Haskell On Hackage: http:https://hackage.haskell.org/package/sbv Please see: http:https://leventerkok.github.io/sbv/