A Ruby implementation of Babelsberg, based on Topaz. Main repo at
Sutherland's Relaxation, adapted from Alex' JS implementation
An emscripten port of the Rhea solver (https://github.com/Nocte-/rhea)
Compilation script and wrapper for Z3 compiled through Emscripten
A fork of the V8 DeltaBlue solver for use in object constraint programming
Implementation of the SkyBlue constraint solver in Python.
An RML implementation of Babelsberg's Natural Semantics
A Python implementation of Babelsberg