mathjson-solver