Invoking SMT Solver from JavaScript

Question

Is there a way to run a Z3 solution from javascript? Or is there a better SMT solver you can use in JavaScript?

Answer 1

Z3 comes with a Java API , but the implementation of all the functionality is in the native code .dll / .so / .dylib, but if you have other ways to make sure that the native library is on the client machine and it is accessible, I think that the Java API should to be enough. Of course, there may be security problems when running native code on client machines, which must be resolved first.