Submit SMT-Lib Benchmarks
philzook58 opened this issue · 0 comments
philzook58 commented
It would make sense to submit our smtlib files for tough problems as SMT-lib benchmarks. It might lead to a feedback loop of solvers getting better at handling our kind of problems.
https://smt-comp.github.io/benchmark_submission.html
https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks