From: bdemsky <bdemsky@uci.edu>
Date: Wed, 31 Dec 2014 14:22:50 +0000 (+0900)
Subject: fix bug with zombie sat solver processes
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=7a84c4b87abe64978687b69f8f6407a8651a5044;hp=7a84c4b87abe64978687b69f8f6407a8651a5044;p=satlib.git

fix bug with zombie sat solver processes
---