From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sun, 3 Feb 2013 20:57:01 +0000 (-0500)
Subject: Merge from mdeters/miplib branch (commit 'ce7c485182902ae43871057185095f71f74a8a58')
X-Git-Tag: cvc5-1.0.0~7434
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c7892fd17983a27d06b56c47f8125d50c691451c;p=cvc5.git

Merge from mdeters/miplib branch (commit 'ce7c485182902ae43871057185095f71f74a8a58')
---

c7892fd17983a27d06b56c47f8125d50c691451c