How are you enjoying solvespace? I wanted to use it for a project but I found that I was completely unable to use it for integer-parametric designs. E.g. if I wanted 10 of something stacked end-to-end, I couldn't figure out how to do that without breaking the solver.