Port of PySuSolver to CPP (without GUI)