liquid-fixpoint (hackage): Horn Clause Constraint Solving for Liquid Types
Keywords: bsd3|language|library|program