v0.5.3

MIPVerify v0.5.3

Diff since v0.5.2

Merged pull requests:

• Provide zero.jl 100% Test Coverage (#155) (@anpere)
• Explain why CompatHelper PRs don't automatically run tests. (#156) (@vtjeng)
• document behavior of find_adversarial_example in producing 'ties' (#159) (@vtjeng)
• Update example Jupyter notebooks. (#161) (@vtjeng)
• Manual update to Documenter version. (#162) (@vtjeng)
• Cut 0.5.3 (#163) (@vtjeng)

Closed issues:

• Performance on CNN (#20)
• System Error using "find_adversarial_example" (#22)
• Problem with very sparse network (#32)
• Code coverage for src/net_components/layers/zero.jl (#76)
• Why was the adversarial example obtained by MIPVerify not considered a genuine counterexample when incorporated into the actual reasoning process? (#158)