SMT-LIB 2.6, new release
45 views
Skip to first unread message
Pascal Fontaine
May 4, 2021, 1:16:57 PM5/4/21
to smt...@googlegroups.com
Dear All,
this is an announcement that a new release for the SMT-LIB Standard
version 2.6 is now available on the web-site:
http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2021-04-02.pdf
. Besides minor fixes, this new release allows reserved words in
s-expression (as arguments of attributes), and disambiguates the
description of in-line definition (:named annotation).
Meanwhile, work on SMT-LIB 3.0 is progressing. We hope to come back to
you in the next months on this subject.
Best regards,
Pascal (also for Cesare and Clark)
this is an announcement that a new release for the SMT-LIB Standard
version 2.6 is now available on the web-site:
http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2021-04-02.pdf
. Besides minor fixes, this new release allows reserved words in
s-expression (as arguments of attributes), and disambiguates the
description of in-line definition (:named annotation).
Meanwhile, work on SMT-LIB 3.0 is progressing. We hope to come back to
you in the next months on this subject.
Best regards,
Pascal (also for Cesare and Clark)
Reply all
Reply to author
Forward
0 new messages