gilch answers What tools exist to compute all possible programs?