DOMAINS :: SMT-LIB :: Version 1 of SMT-LIB format is here!

[QPQ]

Forums QPQ
DOMAINS :: SMT-LIB ::.. Version 1 of SMT-LIB format is here!

tinelli wrote at Jul 26, 2004 - 01:05 PM
---------------------------------------------------------------------
At long last the first version of the SMT-LIB format is ready.
The version has been prepared taking into consideration as much as possible all the recommendations of this group and of qualified external people.

One major point to note with respect to our previous discussions is that the current version is based on a many-sorted logic *without* subsorts.
Support for subsorts is planned for Version 2 of the format.

You can find a document defining Version 1.0 of the format in the Documents section of the SMT-LIB website: http://combination.cs.uiowa.edu/smtlib/

To ensure stability, Version 1 is now fixed. No major changes other than possible error fixes are planned for this version. Minor changes might be applied as needed.

Note however that document describing the format is still a work in progress. We hope to complete and improve its presentation in the near future. Your feedback on the current release of the document is very welcome.


Silvio & Cesare

---------------------------------------------------------------------

Reply to this message:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=reply&topic=46&forum=46

Browse thread:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=viewtopic&topic=46

You are receiving this Email because you are subscribed to be notified of events in forums at: http://www.qpq.org/