From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Sun, 17 Feb 2013 03:28:14 +0000 (-0800)
Subject: Merge pull request #6 from kbansal/decNewoptions
X-Git-Tag: cvc5-1.0.0~7407
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e37656ebbd8421ef34d1745fa76e5c4e949678c6;p=cvc5.git

Merge pull request #6 from kbansal/decNewoptions

decision/ code refactoring
---

e37656ebbd8421ef34d1745fa76e5c4e949678c6