cryptol-2.5.0: Cryptol: The Language of Cryptography
Cryptol.TypeCheck.Solver.SMT
Synopsis
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.