Language.Fixpoint.Types.Config

data Config

defConfig

withPragmas

getOpts

SMT Solver options

data SMTSolver

Eliminate options

data Eliminate

useElim

parallel solving options

defaultMinPartSize

defaultMaxPartSize

multicore

queryFile