Solver for constraint hypergraphs representing system models.

constraint-graphs systems-engineering