DennisVDB/inox

Solver interface for higher-order functional programs

ScalaNOASSERTION