[SMT-LIB] new benchmarks

Clark Barrett barrett at cs.nyu.edu
Thu Jul 2 21:09:51 EDT 2009

I've posted the final (I hope) set of benchmarks before SMT-COMP 2009.  The new
list replaces the posting from June 3 (but it's still there for reference for
now).  I think I've fixed all the issues that were brought to my attention.
Thank you to all those who provided feedback.


More information about the SMT-LIB mailing list