Difference between revisions of "Public:Third Party Applications"

From CVC4
Jump to: navigation, search
(Undo revision 4654 by 198.61.225.140 (Talk))
Line 1: Line 1:
No third party applications have yet been shared here.
+
*[http://stardust.qc.com Stardust]: Refinement typechecker for an ML-like language that uses CVC4 as a backend for solving constraints arising from indexed types.
  
'''This page is publicly-editable.'''  Please add your applications here.
+
'''Please contact us and we'll add your applications here!'''

Revision as of 11:32, 6 July 2013

  • 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!