[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.Z3
• SOLVER.BITWUZLA