libTriton  version 0.9 build 1510
SOLVER_STATE

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

Description


The SOLVER_STATE namespace contains all kinds of solver status.

Python API - Items of the SOLVER_STATE namespace


  • SOLVER_STATE.OUTOFMEM
  • SOLVER_STATE.SAT
  • SOLVER_STATE.TIMEOUT
  • SOLVER_STATE.UNKNOWN
  • SOLVER_STATE.UNSAT