[SMT-COMP] SMT-COMP 2016: Unsat-Core Track Reminder

[Tjark Weber]

Dear SMT-COMP participants,

As previously announced, SMT-COMP 2016 will feature an experimental
unsat-core track. So far, only one solver has been entered into this
track.

If your solver supports the (get-unsat-core) command, please consider
entering it into the unsat-core track. It's not too late yet -- just
send us an email!

Best,
Tjark