babelsberg / z3.js Public

Notifications You must be signed in to change notification settings
Fork 0
Star 12

Compilation script and wrapper for Z3 compiled through Emscripten

BSD-3-Clause license

12 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
compiled		compiled
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
build_z3.sh		build_z3.sh
karma.conf.js		karma.conf.js
package.json		package.json
z3-test.js		z3-test.js
z3.js		z3.js

Repository files navigation

z3.js

Compilation script and wrapper for Z3 compiled through Emscripten

About

Compilation script and wrapper for Z3 compiled through Emscripten

BSD-3-Clause license

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages