From: Patrick Lam <prof.lam@gmail.com>
Date: Thu, 15 Dec 2016 06:27:56 +0000 (-0800)
Subject: Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/satcheck-priv
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5f3838b041321eb417737eed51c8639266c0d77c;p=satcheck.git

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/satcheck-priv
---

5f3838b041321eb417737eed51c8639266c0d77c