[SMT-COMP] Contribution of QF_FPBV and QF_FPABV benchmarks
delcypher at gmail.com
Fri Apr 28 11:07:52 EDT 2017
On 28 April 2017 at 14:54, Christoph Wintersteiger
<cwinter at microsoft.com> wrote:
> Yes, I downloaded them (old and new) but haven't committed them to the repository yet. I'll run the latest Z3 over them as well, just to make sure everything's in order.
> Just a minor point: Rafael Z?hl's name doesn't render right (when I open the file in emacs). Should I change it to Zaehl?
It renders okay for me in both vim and emacs. The ä is UTF-8 (
I'm not sure what encoding is required for SMT-LIBv2.5 files. I'm
happy to produce a new version with `ä` replaced with `ae` if you
would prefer that. That might help with solvers that don't parse UTF-8
More information about the SMT-COMP