I've done geometrical stuff with GNU Prolog's finite domain constraint solver, like finding arrangements of shapes given certain constraints. Documentation is a

I've done geometrical stuff with GNU Prolog's finite domain constraint solver, like finding arrangements of shapes given certain constraints. Documentation is a pain, but it wasn't hard at all to use in practice. And the programs were amazingly short! Virtually one-liners. http://www.gprolog.org/manual/gprolog.html#sec300 http://www.gprolog.org/manual/gprolog.html#sec300 Maybe you know, but Sage contains within itself hundreds of packages—numpy, scipy, matplotlib, PARI, Maxima, GAP etc etc—also many more are optional. Checking out everything in these lists you'd find a lot of other great stuff I'm sure: https://doc.sagemath.org/html/en/reference/spkg/index_alph.html https://doc.sagemath.org/html/en/reference/spkg/index_alph.h... https://doc.sagemath.org/html/en/reference/spkg/ https://doc.sagemath.org/html/en/reference/spkg/