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

解决方法:

Z3附带一个Java API,但所有功能的实现都在本机代码.dll / .so / .dylib中,但只要你有其他方法可以确保本机库在客户端机器上并且可以访问,我认为Java API应该足够了.当然,在客户端计算机上运行本机代码可能存在安全问题,必须首先解决这些问题.