cryptol-2.5.0: Cryptol: The Language of Cryptography

Safe HaskellSafe
LanguageHaskell98

Cryptol.TypeCheck.Solver.SMT

Synopsis

Documentation

proveImp :: Solver -> [Prop] -> [Goal] -> IO [Goal] Source #

Returns goals that were not proved

checkUnsolvable :: Solver -> [Goal] -> IO Bool Source #

Check if the given goals are known to be unsolvable.