Hsmtlib.Solver
data Logic
data Solvers
data GenResult
data SatResult
data GValResult
type Arrays
data Value
data Mode
data SolverConfig
data Solver