e验证语言编译器

Question

Verisity e Verification Language是否有免费的编译器？

Answer 1

经过简短的搜索后，似乎并非如此。 Here是一个解析器，但这可能只是一个起点。