Emscripten-based constraint solvers

Implemented solvers

Z3 and rhea are accessible through the z3/module.z3.js and rhea/module.rhea.js modules. These modules expose a promise-based loader.

var loadRhea = require("./rhea/module.rhea");
loadRhea("/rhea/").then(function (rhea) {
  doSomething(rhea);
});

Tests, Benchmarks and Examples can be accessed by starting a web server in this repo's root directory and navigating to the respective folder.
Basic BabelsbergJS implementations can be found in the examples folder.
Tests and Benchmarks can be run in the browser or with Karma.
Need to run npm install to use any of this.