[petters]

The best solvers are really impressive. Unfortunately, they also cost a very large sum of money.

We should be happy that many of the best tools in other areas are free.