A library of tools to allow function synthesis for approximate computations - View it on GitHub