[SMT-LIB] :date

[Tjark Weber]

I noticed that the :date in SMT-LIB theories and logics is currently
given as (for instance) "02/05/10".  This format can have different
meanings around the world (May 2, February 5, ...), which makes it prone
to confusion.

I suggest to use the YYYY-MM-DD calendar date format, as standardized in
ISO 8601 (see http://www.iso.org/iso/date_and_time_format or
http://en.wikipedia.org/wiki/ISO_8601 for an introduction).

Regards,
Tjark