GitHub repository: sankalpgambhir/inox
Description: Solver for higher-order functional programs