Safe Haskell | None |
---|---|
Language | Haskell98 |
Lava.Verification
Documentation
Constructors
Name String | |
ShowTime | |
Sat Int | |
NoBacktracking | |
Depth Int | |
Increasing | |
RestrictStates |
verify :: Checkable a => a -> IO ProofResult Source #
verifyWith :: Checkable a => [Option] -> a -> IO ProofResult Source #
data ProofResult Source #
Constructors
Valid | |
Falsifiable | |
Indeterminate |
Instances
Eq ProofResult Source # | |
Defined in Lava.Verification | |
Show ProofResult Source # | |
Defined in Lava.Verification Methods showsPrec :: Int -> ProofResult -> ShowS show :: ProofResult -> String showList :: [ProofResult] -> ShowS |
checkVerifyDir :: IO () Source #