libTriton  version 0.9 build 1502
SOLVER

[python api] All information about the SOLVER Python namespace.

Description


The SOLVER namespace contains all kinds of solver status.

Python API - Items of the SOLVER namespace


  • SOLVER.OUTOFMEM
  • SOLVER.SAT
  • SOLVER.TIMEOUT
  • SOLVER.UNKNOWN
  • SOLVER.UNSAT