Solving Energy Problems (Quantitative and Symbolic)