Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types - View it on GitHub