Matt Keeter's Libfive is a very promising project. Our company has written a Common Lisp binding: https://common-lisp.net/project/tovero/ https://common-lisp.

Matt Keeter's Libfive is a very promising project. Our company has written a Common Lisp binding: https://common-lisp.net/project/tovero/ https://common-lisp.net/project/tovero/ and it would be useful to have a constraint solver. We are looking at ways of applying Libfive to mechanical design. I have also developed a prototype of a Libfive viewer--written in Guile Scheme for use with a REPL/Emacs: https://github.com/sjm-tl-gh/inspekt3d https://github.com/sjm-tl-gh/inspekt3d Coding 3D models in Lisp has been an amazing experience (even without a constraint solver). Libfive also has a FFI-friendly C API, so other language bindings (e.g. Python) are very feasible. One feature Libfive is currently missing is a general sweep of a shape along a curve--which seems to not be so straight forward with F-rep modeling.