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