[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