Lava2000.Verification
Documentation
Constructors
Name String | |
ShowTime | |
Sat Int | |
NoBacktracking | |
Depth Int | |
Increasing | |
RestrictStates |
verify :: Checkable a => a -> IO ProofResultSource
verifyWith :: Checkable a => [Option] -> a -> IO ProofResultSource
chalmers-lava2000-1.0: Hardware description library
Lava2000.Verification
Constructors
Name String | |
ShowTime | |
Sat Int | |
NoBacktracking | |
Depth Int | |
Increasing | |
RestrictStates |
verify :: Checkable a => a -> IO ProofResultSource
verifyWith :: Checkable a => [Option] -> a -> IO ProofResultSource