Python Fixed-point-analysis Resources