Quantum formulation independent solver

A system comprising one or more computers and one or more storage devices storing instructions that are operable, when executed by the one or more computers, to cause the one or more computers to perform operations comprising:

• receiving, at a quantum formulation solver, data representing a computational task to be performed;
• deriving, by the quantum formulation solver, a formulation of the data representing the computational task that is formulated for a selected type of quantum computing resource;
• routing the formulation of the data representing the computational task to the a quantum computing resource of the selected type;
• processing, by the quantum computing resource of the selected type, the formulation of the data representing the computational task to generate data representing a solution to the computational task;
• obtaining, at the quantum formulation solver and from the quantum computing resource of the selected type, the data representing a solution to the computational task;
• generating, at the quantum formulation solver, output data including data representing a solution to the computational task;
• and
• receiving, at a broker, the output data and generating one or more actions to be taken based on the output data.

A computer implemented method comprising:

• receiving, at a quantum formulation solver, a formulation representing a computational task to be performed, wherein the formulation representing the computational task to be performed is formulated for a particular type of quantum computing resource;
• automatically determining that the particular type of quantum computing resource is not acceptable;
• automatically deriving, by the quantum formulation solver, a formulation of the data representing the computational task that is formulated for a different type of quantum computing resource;
• routing, by the quantum formulation solver, the formulation of the data representing the computational task to a quantum computing resource of the selected type to obtain data representing a solution to the computational task;
• generating, at the quantum formulation solver, output data including data representing a solution to the computational task;
• and
• generating one or more actions to be taken based on the output data