copilot-theorem-2.2.0: k-induction for Copilot.

Safe HaskellNone
LanguageHaskell2010

Copilot.Theorem.Kind2.Prover

Documentation

module Data.Default

data Options Source

Constructors

Options 

Fields

bmcMax :: Int
 

Instances

kind2Prover :: Options -> Prover Source