Refinery is an efficient graph solver for generating well-formed models available under the Eclipse Public License - v 2.0.

Online demo: https://refinery.services/

Documentation: https://refinery.tools/