Caching in a solver system

A computer-implemented method comprising:

• receiving, by a manager component from a system component, first data representing a first satisfiability problem;
• sending the first data to a first cache component, the first cache component storing results data related to previously solved satisfiability problems;
• prior to receiving a response to the first data from the first cache component, sending the first data to at least a first solver component configured to determine whether a logical expression is satisfiable or unsatisfiable;
• receiving, by the manager component from the first cache component, a stored first result corresponding to the first data;
• and
• prior to receiving a response to the first data from the first solver component, sending a first indication of the first result to the system component.

A computing system, comprising:

• at least one processor;
• and
• at least one memory comprising instructions that, when executed by the at least one processor, cause the computing system to:
• receive, by a manager component from a system component, first data representing a first satisfiability problem;
• send the first data to a first cache component, the first cache component storing results data related to previously solved satisfiability problems;
• prior to receiving a response to the first data from the first cache component, send the first data to at least a first solver component configured to determine whether a logical expression is satisfiable or unsatisfiable;
• receive, by the manager component from the first cache component, a stored first result corresponding to the first data;
• and
• prior to receiving a response to the first data from the first solver component, send a first indication of the first result to the system component.