While reading around on Cassowary for constraint based UI,�� I noticed the original author and others expanded their work to a more general linear solver system Balsberg.�� Maybe something useful to many business, so just thought I'd drop some links...

* Solving Interactive Logic Puzzles With Object-Constraints
�� https://www.hpi.uni-potsdam.de/hirschfeld/publications/media/GraberFelgentreffHirschfeldBorning_2014_SolvingInteractiveLogicPuzzlesWithObjectConstraintsAnExperienceReportUsingBabelsbergSForSqueakSmalltalk_AuthorsVersion.pdf

* https://github.com/babelsberg/babelsberg-s

* https://homes.cs.washington.edu/~borning/papers/felgentreff-babelsberg-semantics-2014.pdf

* https://www.hpi.uni-potsdam.de/hirschfeld/publications/media/FelgentreffLehmannHirschfeldGerstenbergReschkeRueckertSieglerGraichenNicolaiSwart_2016_AutomaticallySelectingAndOptimizingConstraintSolverProceduresForObjectConstraintLanguages_AuthorsVersion.pdf

btw, what does PolyMath/SciSmalltalk offer in the way of linear solvers?

cheers -ben