Remove usage of extern crate.
#427
waywardmonkeysrust.yml
on: push
check-formatting
8s
build
1m 3s
build_on_wasm
33m 15s
run_clippy
1m 35s
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically