Constraint Solvers

Efficient libraries implementing algorithms for solving constraints (e.g. linear equalities and inequalities) that are often used for building dynamic UI layouts and optimization tools.