A pythonic implementation of what I learned at the Nonlinear Decision Procedures course lectured by Leonardo de Moura