https://github.com/debrouxl/tilp_and_gfm