emscripten-constraints:基于脚本的约束求解器（API设计和工具链）

基于脚本的约束求解器 已实施的求解器 推介会 代码结构 可通过z3/module.z3.js和rhea/module.rhea.js模块访问Z3和rhea/module.rhea.js 。 这些模块公开了基于Promise的加载器。 var loadRhea = require("./rhea/module.rhea"); loadRhea("/rhea/").then(function (rhea) { doSomething(rhea); }); 通过在此仓库的根目录中启动Web服务器并导航到相应的文件夹，可以访问测试，基准和示例。 基本的BabelsbergJS实现可在examples文件夹中找到。 测试和基准可以在浏览器中或通过Karma运行。 需要运行npm install才能使用其中任何一个。