Lava.Verification

Documentation

data Option

Constructors

Name String

ShowTime

Sat Int

NoBacktracking

Depth Int

Increasing

RestrictStates

Instances

Eq Option

Methods

(==) :: Option -> Option -> Bool

(/=) :: Option -> Option -> Bool

Show Option

Methods

showsPrec :: Int -> Option -> ShowS

show :: Option -> String

showList :: [Option] -> ShowS

verify :: Checkable a => a -> IO ProofResult

verifyWith :: Checkable a => [Option] -> a -> IO ProofResult

data ProofResult

Constructors

Valid

Falsifiable

Indeterminate

Instances

Eq ProofResult

Methods

(==) :: ProofResult -> ProofResult -> Bool

(/=) :: ProofResult -> ProofResult -> Bool

Show ProofResult

Methods

showsPrec :: Int -> ProofResult -> ShowS

show :: ProofResult -> String

showList :: [ProofResult] -> ShowS

verifyDir :: FilePath

checkVerifyDir :: IO ()