z3js (npm): A transpiler for converting a **tiny** subset of JavaScript expressions to smt2
Keywords: javascript|smtlib|solver-aided-programming|z3