有没有用Clojure编写的符号执行项目？

Question

如果你知道的与形式化验证相关的项目是用Clojure编写的，而不是符号执行怎么办？

Answer 1

https://github.com/Viasat/salt 是一个不错的Clojure API，用于连接TLA+。

https://github.com/sicmutils/sicmutils 是一个活跃的项目，把许多Sussman项目带到了Clojure中，包括符号计算。

可能还有其他项目，这些都是我想起的。

Comments

很好。谢谢。