triton::engines::solver Namespace Reference

The Solver namespace. More...

Classes
class	BitwuzlaSolver
	Solver engine using Bitwuzla. More...
interface	SolverEngine
	This class is used to interface with solvers. More...
interface	SolverInterface
	This interface is used to interface with solvers. More...
class	SolverModel
	This class is used to represent a constraint model solved. More...
class	Z3Solver
	Solver engine using z3. More...

Enumerations
enum	solver_e { SOLVER_INVALID = 0 , SOLVER_CUSTOM , SOLVER_Z3 , SOLVER_BITWUZLA }
enum	status_e {   UNSAT = 0 , SAT = 1 , TIMEOUT , OUTOFMEM ,   UNKNOWN }

Functions
std::ostream &	operator<< (std::ostream &stream, const SolverModel &model)
	Display a solver model.
std::ostream &	operator<< (std::ostream &stream, const SolverModel *model)
	Display a solver model.

Detailed Description

The Solver namespace.