cryptol-2.2.4: Cryptol: The Language of Cryptography

Copyright(c) 2013-2015 Galois, Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

Cryptol.TypeCheck.Solver.Smtlib

Description

 

Documentation

simpDelayed :: [TParam] -> OrdFacts -> [Prop] -> [Goal] -> IO [Goal] Source