Benchmarks
SMT Python Shell Matlab OCaml Gnuplot
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
dop
dr
drh
inv
misc
smt2
README.md

README.md

How to Contribute

We look forward to your contribution to the benchmark repository, through either of the following ways:

  • Fork the dreal/benchmarks repository and make a pull-request.
  • Send an email to {soonhok,sicung}@cs.cmu.edu with:
    • Benchmark files (.smt2, .drh, etc). We could always discuss about the format.
    • Short description about the benchmark including authors and sources
    • (Optional) Expected answers for the files (UNSAT or SAT with assignments)
    • (Optional) License and Citations if any
    • (Optional) Instructions to generate the benchmark