3 ms·
Did anyone make a Javascript version of this with emscripten? I am currently using Z3 on the server side but would really like a client side solution to save co
by auggierose 13y ago
Did anyone make a Javascript version of this with emscripten? I am currently using Z3 on the server side but would really like a client side solution to save computational resources.
- azakai 13y agoThe license is a non-commercial one, which makes it impractical for many use cases. Could be why it hasn't been ported yet (I might have done so myself, had the license been otherwise).
- auggierose 13y agoIf you want to use it for commercial purposes, there is probably a way to get a license from them for that.