Merge branch 'master' of https://github.com/CVC4/CVC4
authorTianyi Liang <tianyi-liang@uiowa.edu>
Tue, 17 Dec 2013 23:52:40 +0000 (17:52 -0600)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Tue, 17 Dec 2013 23:52:40 +0000 (17:52 -0600)
commitc30f459b03572907b06f839535ac4694c0c37b0d
tree4112cd96e30928f4b57787eabe98a0aaa178540e
parent8d89e06c34a0a22e006a74d48d4cc8843b293f73
parentf411ca8ce97f488fd0db0a79abe8b4e61521ae69
Merge branch 'master' of https://github.com/CVC4/CVC4