I think the difference here is being able to program a solver for formulae implies an understanding of the formulae being solved, specifically the ones the exam tests for. I'm not sure your teachers would have given you credit for tattooing some formula on your chest.