ISolver (B2R2)

ISolver Type

Represents an SMT solver for symbolic path conditions.

Instance member	Description
`this.CheckSat` Full Usage: `this.CheckSat` Parameters: smt2 : `string` Returns: `Result<string, SymbEvalError>` Modifiers: abstract	Check whether the given SMT-LIB2 assertion script is satisfiable. smt2 : `string` Returns: `Result<string, SymbEvalError>`
`this.GetModels` Full Usage: `this.GetModels` Parameters: smt2 : `string` Returns: `Result<string, SymbEvalError>` Modifiers: abstract	Get a raw model for the given SMT-LIB2 assertion script. smt2 : `string` Returns: `Result<string, SymbEvalError>`