[SMT-COMP] SMT-COMP 2017: New Logics

Tjark Weber tjark.weber at it.uu.se
Wed Jun 14 19:10:34 EDT 2017


Dear SMT-COMP participants,

The 2017-06-05 release of SMT-LIB added several new logics, namely

* For the (non-incremental) main track and unsat core track: ABVFP,
AUFBVDTLIA, AUFDTLIA, BVFP, FP, QF_ABVFP, QF_DT, UFDT, UFDTLIA

* For the (incremental) application track: ABVFP, BV, BVFP, QF_ABVFP,
QF_BVFP, QF_FP

Please let us know (as soon as possible, but at the latest until the
final solver submission deadline on June 18) if you want to enter your
solver into any of the corresponding competition divisions. Please
contact us even if you already indicated that your solver supports
datatypes!

Best,
Tjark




More information about the SMT-COMP mailing list