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

Tim Blazytko mr.phrazer at gmail.com
Thu Apr 28 07:43:05 EDT 2016


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
> 


More information about the SMT-LIB mailing list