Program to generate solvers automatically.