Files
solver/OndselSolver/Symbolic.cpp