z3-2019-01-26-be61a26452735dfe62b14ddb4804ca5df0526dcf

Merge pull request #3 from batfish/ari-upgrade-for-ite

Upgrade to enable ite as doc precondition

- update OSX build matrix
- re-add debug tests for linux
- update build matrix flags based on upstream changes
- better OSX documentation

z3-2018-01-31-ad9d6482e3a4fc78165db3cc77ffa16aed2691d4

Merge pull request #1 from batfish/ari-travis

Modifications for batfish (READY FOR REVIEW)

z3-2018-01-12-450f3c9b459d128135abb5bbd4fa0508fe26bfae

Merge branch 'master' of https://github.com/z3prover/z3