SMT-LIB: Inital proposal for a common format

[Cesare Tinelli]

Hi all,

Silvio.Ranise at loria.fr wrote:
> Dear Collegue,
> 
....
> 
> Below, you will find the proposal for the common format together
> with some discussion.  We hope this will start reactions and comments
> and do not forget to send your benchmarks to set up (a prelinary version
> of) the library.  Please notice that the initial DEADLINE for sending us 
> your benchmarks or setting up a local web page is OCTOBER 31, 2002.
> (To facilitate the setting up of the local web pages we will soon 
> provide on the SMT web site a tar file with template pages.)
>
The tar file is now available in the "How to Contribute" section of the
SMT-LIB site (http://combination.cs.uiowa.edu/smtlib/).

Cheers,


Cesare