Вам нужен openscad для экспорта данных в виде stl-файла. Вы можете сделать это из кода Python:
from solid import *
# to run openscad
from subprocess import run
d = difference()(
cube(10),
sphere(15)
)
# generate valid openscad code and store it in file
scad_render_to_file(d, 'd.scad')
# run openscad and export to stl
run(["openscad", "-o", "d.stl", "d.scad"])
вместо последнего шага вы можете открыть d.scad в openscad, отобразить его (нажмите F6) и экспортировать как STL или запустить в консоли:
openscad -o d.stl d.scad
использование openscad из командной строки, см. документацию