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

[cok at frontiernet.net]

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