SMT Benchmarks

Repository for SMT-LIB benchmarks that we would like to submit to the SMT-LIB benchmark library but that are not yet ready for submission. E.g., because

  • we do not yet know if the benchmark set is yet complete, or
  • we have not yet chosen a structure for the benchmarks.