[SMT-LIB] How to submit benchmarks to smtlib

Florian Schanda florian.schanda at altran.com
Tue Mar 17 07:49:17 EDT 2015


Hi,

I am compiling benchmarks for QF_FP and QF_FPBV (and probably more) that have 
been inspired by the kind of floating point issues we and our users have in 
SPARK (http://www.spark-2014.org)

I've looked on smt-lib.org but I could not actually find any instructions on 
how I would go about submitting them. What should I do?

Thanks,

	Florian


More information about the SMT-LIB mailing list