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

[Tjark Weber]

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