Provides classes to symbolically represent Equations and Data for the Solver.