Sean D Mclaughlin

20200073739, Mar 5, 2020

Aug 28, 2018

16/115408

- Seattle WA, US
Temesghen KAHSAI AZENE - San Francisco CA, US
Pauline Virginie BOLIGNANO - London, GB
Kasper Soe LUCKOW - Sunnyvale CA, US
Sean McLAUGHLIN - Seattle WA, US
Catherine DODGE - Seattle WA, US
Andrew Jude GACEK - Maple Grove NM, US
Carsten VARMING - Brooklyn NY, US
John Byron COOK - Brooklyn NY, US
Juan Rodriguez HORTALA - Seattle WA, US

G06F 11/07
G06F 11/14
G06F 9/50
G06F 9/455
G06F 9/451
G06F 8/60

A constraint solver service of a computing resource service provider performs evaluations of logic problems provided by the service provider's users and/or services by deploying a plurality of constraint solvers to concurrently evaluate the logic problem. Each deployed solver has, or is configured with, different characteristics and/or capabilities than the other solvers; thus, the solvers can have varying execution times and ways of finding a solution. The service may control execution of the solvers using virtual computing resources, such as by installing and configuring a solver to execute in a software container instance. The service receives solver results and delivers them according to a solution strategy such as “first received” to reduce latency or “check for agreement” to validate the solution. An interface allows the provider of the logic problem to select and configure solvers, issue commands and modifications during solver execution, select the solution strategy, and receive the solution.