Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation.SBV.Examples.Queries.UnsatCore
Description
Author : Levent Erkok License : BSD3 Maintainer: erkokl@gmail.com Stability : experimental
Demonstrates extraction of unsat-cores via queries.
sbv-8.0: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation.SBV.Examples.Queries.UnsatCore
Description
Author : Levent Erkok License : BSD3 Maintainer: erkokl@gmail.com Stability : experimental
Demonstrates extraction of unsat-cores via queries.