从 JavaScript 调用 SMT 求解器

Question

有没有办法从javascript运行Z3求解器？或者是否有更好的 SMT 求解器可以在 JavaScript 中使用？

Answer 1

Z3 附带Java API，但所有功能的实现都在本机代码 .dll/.so/.dylib 内，但只要您有其他方法来确保本机库位于客户端计算机上并且可访问，我觉得Java API应该就够了。当然，在客户端计算机上运行本机代码可能会存在安全问题，必须首先解决这些问题。