z3 0.3.2

# rustc version
rustc 1.33.0-nightly (adbfec229 2018-12-17)
# docs.rs version
cratesfyi 0.6.0 (2f681cd 2018-12-20)

# build log
Updating crates.io index
Downloading crates ...
Downloaded z3 v0.3.2
Fresh cfg-if v0.1.6
Fresh lazy_static v1.2.0
Fresh z3-sys v0.4.0
Fresh log v0.4.6
Documenting z3 v0.3.2
Running `rustdoc --crate-name z3 /home/cratesfyi/.cargo/registry/src/github.com-1ecc6299db9ec823/z3-0.3.2/src/lib.rs --cap-lints allow --color never -o /home/cratesfyi/cratesfyi/doc -Z unstable-options --resource-suffix -20181217-1.33.0-nightly-adbfec229 --extern-html-root-url 'z3_sys=https://docs.rs/z3-sys/0.4.0' --extern-html-root-url 'env_logger=https://docs.rs/env_logger/0.6.0' --extern-html-root-url 'lazy_static=https://docs.rs/lazy_static/1.2.0' --extern-html-root-url 'log=https://docs.rs/log/0.4.6' --extern-html-root-url 'semver=https://docs.rs/semver/0.9.0' -L dependency=/home/cratesfyi/cratesfyi/debug/deps --extern lazy_static=/home/cratesfyi/cratesfyi/debug/deps/liblazy_static-4b9cdd230d75131a.rmeta --extern log=/home/cratesfyi/cratesfyi/debug/deps/liblog-2a98166d398874c9.rmeta --extern z3_sys=/home/cratesfyi/cratesfyi/debug/deps/libz3_sys-d89574e19290ec9e.rmeta`
Finished dev [unoptimized + debuginfo] target(s) in 2.56s