A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.
bin Force add PHONY bin file Mar 13, 2016
scripts Correct silly mistake Dec 3, 2018
src Fix the stripping of checks Nov 23, 2018
templates Fix misc / Sep 10, 2018
.eslintrc.json Fix package Nov 21, 2018
.gitignore Remove package-lock Jul 9, 2017
.travis.yml Add z3javascript to Travis Sep 11, 2018
LICENSE Update LICENSE Apr 19, 2018
README.md Add Z3JavaScript badge Sep 11, 2018
package.json Random selection strategy for alternative cases on Query Nov 21, 2018
test z3js passes options now Mar 19, 2018


Build Status


A project to try and get Z3 running as a Javascript library. The project exercises a custom Z3 build through the library ref.

NOTE: Z3_PATH environment variable should point to the Z3 .so .dll or .dylib. This dll or dylib file will be automatically created and moved to bin when the library is npm install'd


Used as an npm dependency.

npm install git+ssh://github.com/ExpoSEJS/z3javascript.git

Z3 will be automatically downloaded and built. We require clang to build Z3,

From then, simply point the Z3_PATH environment variable to the generated dll, so, etc using something like Z3_PATH=./node_modules/z3javascript/bin/libz3.dylib node myapplication.js to use your program. View tests for an example.


build-essential, clang (5.0 onward) and Node.js and NPM (Use the latest LTS)