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)

Follow our code formatting convention defined in src/.editorconfig. Consider using editorconfig plugin for your editor.
Follow Google C++ Style Guide. Run make style and check there is no style error.
Run make format before you commit. It calls clang-format and uses our configuration file .clang-format.
Rebase your commits based on master branch of dreal/dreal3 repository.
Follow our Git commit message convention.
Run make and check the code compiles. Please try both of gcc and clang.
Open a new GitHub pull request with the commits.
Ensure the PR description clearly describes the problem and solution. Include the relevant issue number if applicable.