I think the example cheats a lot by assuming the solutions have to be positive integers. Is there a mechanism to tell the system "a and b are integers", and if so, could the system still solve the simultaneous equation?
About solving systems of simultaneous equations, I don't know if this particular solver can do it but many solvers can by using Gaussian Elimination from linear algebra.
