GitHub repository: ucsd-progsys/liquid-fixpoint
Primary language: Haskell
Created: 2015-12-22T19:29:45Z
Description: Horn Clause Constraint Solving for Liquid Types