Skip to content

Latest commit

 

History

History
53 lines (39 loc) · 2.17 KB

CONTRIBUTING.md

File metadata and controls

53 lines (39 loc) · 2.17 KB

How to contribute to dReal

Did you find a bug?

  • Ensure the bug was not already reported by searching on GitHub under Issues.

  • If you're unable to find an open issue addressing the problem, open a new one. Be sure to include a title and clear description, as much relevant information as possible including:

  • dReal version (output of dReal --version)
  • smt2 or drh files with the expected behavior that is not occurring (i.e. delta-sat / unsat).
  • Environment including OS and Compiler (for example, OS X 10.11.4 + clang-3.6.2)

Did you write code adding a new feature or fixing a bug?