Safe Haskell | None |
---|---|
Language | Haskell98 |
Lava.Verification
Documentation
Constructors
Name String | |
ShowTime | |
Sat Int | |
NoBacktracking | |
Depth Int | |
Increasing | |
RestrictStates |
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 #