Public:Third Party Applications

From CVC4
Revision as of 11:32, 6 July 2013 by Mdeters (Talk | contribs)

Jump to: navigation, search
  • Stardust: Refinement typechecker for an ML-like language that uses CVC4 as a backend for solving constraints arising from indexed types.

Please contact us and we'll add your applications here!