From: barrettcw <barrett@cs.nyu.edu>
Date: Tue, 12 May 2015 20:53:34 +0000 (-0700)
Subject: Merge pull request #74 from finnhaedicke/namespace_minisat
X-Git-Tag: cvc5-1.0.0~6329
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=63da8b80c77ef405d84c0faa1e31323c7cc01540;p=cvc5.git

Merge pull request #74 from finnhaedicke/namespace_minisat

moved Minisat namespace into CVC4
---

63da8b80c77ef405d84c0faa1e31323c7cc01540