[![Build Status](https://travis-ci.org/babelsberg/z3.js.svg)](https://travis-ci.org/babelsberg/z3.js) 

# z3.js
Compilation script and wrapper for Z3 compiled through Emscripten