v0.9.3

CDDLib v0.9.3

Diff since v0.9.2

Merged pull requests:

• Remove extra section in Project.toml (#83) (@blegat)
• Fixes to get tests passing (#84) (@odow)
• Update README.md for JuMP documentation (#85) (@odow)
• Fix typo in README (#86) (@odow)
• Fix ambiguity error with [email protected] (#87) (@odow)

Closed issues:

• Segmentation fault with julia v0.6 (#13)
• Symbol Lookup Error (#26)
• Converting between representation of high dimensional polytopes (#34)
• Segfault in dd_blockelimination (#61)
• MathOptInterface says that Interval and GreaterThan constraints aren't supported by CDDLib (#75)
• Segfault on PkgEval during lpsolve (#77)