[SMT-LIB] SMT-LIB theory and logic definitions

[Rob Arthan]

David,

Thanks (and thanks also to Tim). I should have explained that I had found those links on the SMT-LIB web site: it was the text files I was looking for.

I wasn't able to reconstruct the version 2.0 definitions from the git repo.
Are these still available anywhere?

Regards,

Rob.

> On 28 Apr 2016, at 13:17, cok at frontiernet.net wrote:
> 
> And also at links from the SMT-LIB site:
> http://smtlib.org/theories.shtml
> http://smtlib.org/logics.shtml
> - David
> 
>      From: Tim Blazytko <mr.phrazer at gmail.com>
> To: smt-lib at cs.nyu.edu 
> Sent: Thursday, April 28, 2016 7:43 AM
> Subject: Re: [SMT-LIB] SMT-LIB theory and logic definitions
> 
> Hi Bob,
> 
> you will find the files here:
> 
> https://bitbucket.org/smt-lib/standard.git
> 
> Regards,
> 
> Tim
> 
> On 04/28/2016 01:07 PM, Rob Arthan wrote:
>> The SMT-LIB tutorial says that the SMT-LIB theories and logics are defined in files that are
>> available as part of the SMT-LIB distribution. I can’t find anything that fits that description
>> on the SMT-LIB website. Can anyone point me in the right direction, please.
>> 
>> Regards,
>> 
>> Rob.
>> _______________________________________________
>> SMT-LIB mailing list
>> SMT-LIB at cs.nyu.edu
>> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
>> 
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
> 
> 
> 
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib