有没有办法从 javascript 运行 Z3 求解器？或者是否有更好的 SMT 求解器可以在 JavaScript 中使用？
最佳答案
有一个 Alt-Ergo SMT solver in JavaScript 的实现, 这是 compiled into JavaScript using the dune build system .也可以嵌入 Prolog SMT solver在 JavaScript 中使用 Tau-Prolog .
关于javascript - 从 JavaScript 调用 SMT 求解器，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/32824694/