From: Clark Barrett <barrett@cs.stanford.edu>
Date: Wed, 14 Dec 2016 21:45:54 +0000 (-0800)
Subject: Merge pull request #119 from 4tXJ7f/smt_v2_5
X-Git-Tag: cvc5-1.0.0~5938
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=67fd8cc104ec9861ca234bb3170c7f992eea3868;p=cvc5.git

Merge pull request #119 from 4tXJ7f/smt_v2_5

Switch from SMT-LIB v2.0 to v2.5 for smt2 files
---

67fd8cc104ec9861ca234bb3170c7f992eea3868