Copyright | (c) Levent Erkok |
---|---|
License | BSD3 |
Maintainer | erkokl@gmail.com |
Stability | experimental |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Documentation.SBV.Examples.DeltaSat.DeltaSat
Description
The encoding of the Flyspec example from the dReal web page