Libfive: A software library and set of tools for solid modeling