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

Index - <

<*>Data.SBV.Examples.Polynomials.Polynomials
<+>Data.SBV, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3
<=>Data.SBV, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3