javascriptz3pyodide

How would I import z3 solver in pyodide

I am trying to recreate a python project that uses z3 solver, which is not very supported on JS (especially on html)

I found that I could use pyodide for doing python code and make this project a lot easier. But pyodide doesn't seem to recognise z3 solver as a package.

Thanks in advance

Solution

  • Z3 has support for JavaScript (via TypeScript), see here: https://microsoft.github.io/z3guide/programming/Z3%20JavaScript%20Examples/

    For best compatibility/ease of use, if you're aiming a web-based project, you should use these bindings.

    There are further examples here: https://github.com/Z3Prover/z3/tree/master/src/api/js/examples