Formula solver index

Categories — 73 of them in 16 groups, 1787 solvers in all