文件名称：z3[removed]Z3JavaScript包装器包含对正则表达式和捕获组的支持
文件大小：27KB
文件格式：ZIP
更新时间：2024-06-02 18:01:38
JavaScript
Z3Javascript 试图使Z3作为Javascript库运行的项目。 该项目通过库ref定制Z3构建。 注意： Z3_PATH环境变量应指向Z3 .so .dll或.dylib。 当库为npm install时，将自动创建此dll或dylib文件并将其移动到bin中。 用法 用作npm依赖项。 npm install git+ssh://github.com/ExpoSEJS/z3javascript.git Z3将自动下载并构建。 我们需要用lang来构建Z3， 从那时起，只需使用Z3_PATH=./node_modules/z3javascript/bin/libz3.dylib node myapplication.js类的东西将Z3_PATH环境变量指向生成的dll，依此Z3_PATH=./node_modules/z3javascript/bin/libz3.dy
【文件预览】：
z3javascript-master
----.eslintrc.json(783B)
----.gitignore(121B)
----templates()
--------post_bindings.js(0B)
--------pre_bindings.js(28B)
--------post_ref_bindings.js(7KB)
--------pre_ref_bindings.js(2KB)
----package.json(935B)
----src()
--------Regex.js(18KB)
--------Check.js(355B)
--------Context.js(10KB)
--------Model.js(711B)
--------Solver.js(2KB)
--------Z3Utils.js(325B)
--------Z3Loader.js(212B)
--------Z3.js(659B)
--------Expr.js(4KB)
--------Query.js(1KB)
--------Tests()
----.travis.yml(414B)
----LICENSE(1KB)
----scripts()
--------setup(106B)
--------build_ref_bindings(253B)
--------pull_z3(181B)
--------copy_bindings(128B)
--------get_emscripten(307B)
--------binds(103B)
--------build_z3(208B)
--------postinstall(359B)
--------build_bindings(251B)
--------build_wrapper(191B)
----README.md(967B)
----test(57B)