solvespace/solvespace.cpp