Imported from https://github.com/aig-upf/automated-programming-framework