How to read/analyze the AIGER format file using z3 python API

Question

I want to analyze a transition system or a sat problem specified in AIGER format(.aig or .aag) using Z3. Is there any way to read the AIGER format using z3 API?