libTriton  version 1.0 build 1549
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