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

[Cesare Tinelli]

Hi Rob and all,

On 28 Apr 2016, at 11:04, Rob Arthan wrote:

> 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?
>
If you are referring to the Version 2.5 definitions, there were there on 
the SMT-LIB website although the direct links to them had been removed 
from the site's pages in one of the latest updates. This was an 
oversight that has now been corrected.

The pages

http://smtlib.org/theories.shtml
http://smtlib.cs.uiowa.edu/logics-all.shtml

now have links to the text files. Look for "(raw file)" on the page.

Best,


Cesare


> 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
>
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib