copilot-verifier-4.3: System for verifying the correctness of generated Copilot programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Copilot.Verifier.Solver

Synopsis

Documentation

data Solver Source #

General-purpose SMT solvers that copilot-verifier supports.

Constructors

CVC4 
CVC5 
Yices 
Z3 

Instances

Instances details
Show Solver Source # 
Instance details

Defined in Copilot.Verifier.Solver

Methods

showsPrec :: Int -> Solver -> ShowS #

show :: Solver -> String #

showList :: [Solver] -> ShowS #

solverAdapter :: Solver -> SolverAdapter st Source #

Return the what4 SolverAdapter corresponding to a given Solver.