Difference between revisions of "Public:Third Party Applications"
From CVC4
(Undo revision 4654 by 198.61.225.140 (Talk)) |
|||
| Line 1: | Line 1: | ||
| − | + | *[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. | |
| − | ''' | + | '''Please contact us and we'll add your applications here!''' |
Revision as of 10: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!
