feat(dependency): added MTIDD - Githubissues

dreal / dreal3

There is a new version of dReal, available at https://github.com/dreal/dreal4

GNU General Public License v3.0

48 stars 36 forks source link

feat(dependency): added MTIDD #345

Closed AntonXue closed 7 years ago

AntonXue commented 7 years ago

Thanks for making contributions to dReal! Before opening a pull-request, please check the following things:

[ ] Run make and check the code compiles. Please try both of gcc and clang.
[ ] Run make format to run clang-format over your contributions.
[ ] Run make style and check there is no style error.
[ ] Follow our Git commit message convention.
[ ] Ensure the PR description clearly describes the problem and solution. Include the relevant issue number if applicable.
[ ] Rebase your commits based on master branch of dreal/dreal3 repository.

This change is

AntonXue commented 7 years ago

Does not copy over all the .h files needed. Please do not merge.