Systems and methods for solving unrestricted incremental constraint problems

A method for controlling an ensemble of a plurality of solvers, the method comprising performing by a controller the steps of:

• generating a master graph by:
• creating a first vertex corresponding to a first clause, and associating the first vertex with a first solver of the plurality of solvers;
• adding a second vertex corresponding to a second clause, and associating the second vertex with the first solver;
• and
• establishing an undo edge from the second vertex to the first vertex;
• identifying, using the second vertex and the undo edge, a vertex corresponding to a clause to be restored;
• and
• transmitting a command to the first solver comprising a signal to restore the clause to be restored.