scottviteri comments on What tools exist to compute all possible programs?