Yes. I couldn't even figure out from the reference manual how to generate an input file programmatically. Presumably the saved file format is human readable, and could be reverse-engineered, but documentation would help.

The is a python API for it's constraints solver: https://pyslvs-ui.readthedocs.io/en/stable/python-solvespace... However the solid geometry engine is tightly coupled with the application and not exposed by a public API.