Language.Hasmtlib

Type

Expr

module Language.Hasmtlib.Type.SMTSort

module Language.Hasmtlib.Type.Value

module Language.Hasmtlib.Type.Expr

Containers

module Language.Hasmtlib.Type.Bitvec

module Language.Hasmtlib.Type.ArrayMap

module Language.Hasmtlib.Type.Relation

SMT

module Language.Hasmtlib.Type.MonadSMT

module Language.Hasmtlib.Type.SMT

module Language.Hasmtlib.Type.Option

OMT

module Language.Hasmtlib.Type.OMT

Pipe

module Language.Hasmtlib.Type.Pipe

Class

module Language.Hasmtlib.Codec

module Language.Hasmtlib.Boolean

module Language.Hasmtlib.Counting

module Language.Hasmtlib.Variable

Solver

Type

module Language.Hasmtlib.Type.Solution

module Language.Hasmtlib.Type.Solver

module Language.Hasmtlib.Type.Debugger

Concrete solvers

module Language.Hasmtlib.Solver.Z3

module Language.Hasmtlib.Solver.CVC5

module Language.Hasmtlib.Solver.Yices

module Language.Hasmtlib.Solver.OpenSMT

module Language.Hasmtlib.Solver.MathSAT

module Language.Hasmtlib.Solver.Bitwuzla

Internal

Sharing

data SharingMode

Mode used for sharing.

Constructors

None

Common expressions are not shared at all

StableNames

Expressions that resolve to the same StableName are shared

Instances

Show SharingMode

Defined in Language.Hasmtlib.Internal.Sharing

Methods

showsPrec :: Int -> SharingMode -> ShowS

show :: SharingMode -> String

showList :: [SharingMode] -> ShowS

Default SharingMode

Defined in Language.Hasmtlib.Internal.Sharing

Methods

def :: SharingMode

setSharingMode :: (Sharing s, MonadState s m) => SharingMode -> m ()

Sets the mode used for sharing common expressions. Defaults to StableNames.