[Smtcomp-discussion] Benchmarks for SMT competition
Tools and documentation of the annual SMT competition
Brought to you by:
webertj
From: Indranil S. <sah...@gm...> - 2015-02-12 20:40:34
|
Hello SMTCOMP organizing team, My name is Indranil Saha. I am a postdoc with the ExCAPE project led by Prof. Rajeev Alur. I am working on a project where the goal is to generate motion plans for a group of robots automatically from LTL specifications. I reduce the problem to an SMT solving problem. From the project, I have a set of benchmarks that might be interesting for the SMT competition. The benchmarks use linear arithmetic and equality with uninterpreted functions. If you are interested in such benchmarks, please let me know the process of submitting the benchmarks and the deadline. Thanks, Indranil Saha |