google/souper — pull request #94 by regehr (2014-10-22 16:52:17+00:00)
Title: optionally ignore solver failures

option to ignore solver failure

this is needed because our increasingly complex queries are making solvers chomp lots of RAM, making us kill them, and we want to ignore that kind of thing sometimes