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 [email protected] with the following information:
- Benchmark files (.smt2, .drh, etc).
- Short description about the benchmark including authors and sources.
- Expected answers for the files (UNSAT or delta-SAT with assignments).
- (Optional) License and Citations if any.
- (Optional) Instructions on how to generate the benchmark.