ucsd-progsys/liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

Haskell

166

4,521 commits

updated Sep 21, 2026

Contributors

(top 30 of 48)

2,256 commits

655 commits

606 commits

203 commits

Languages

Haskell

94.2%

SMT

5.5%

ucsd-progsys/liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

Haskell

166

4,521 commits

updated Sep 21, 2026

Contributors

(top 30 of 48)

2,256 commits

655 commits

606 commits

203 commits

Languages

Haskell

94.2%

SMT

5.5%