sbvPlugin-0.1: Analyze Haskell expressions using SBV/SMT

GHC plugin for analyzing expressions using SMT solvers, based on the SBV package.

See Data.SBV.Plugin for a quick example.