solver

The cluster as a solver of arg2p: any goal, its solutions and their graphs, the answers of queries. The goals of several callers are solved in turn by the catalog, each solved again from its start when another one was solved since its last solution.