Solver for higher-order functional programs - View it on GitHub