[SMT-LIB] :date

[Cesare Tinelli]

Hi Tjark,

On 9 Sep 2010, at 04:58, Tjark Weber wrote:

> 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).
> 

Good idea. Done.


Cesare



> Regards,
> Tjark
> 
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib