Galapagos: On the Logic and Limitations of Generic Solvers | Synapse