yices2-sys 2.6.4

Low level Rust bindings to the Yices 2 SMT solver
docs.rs failed to build yices2-sys-2.6.4
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build: yices2-sys-2.6.4-patch.1
yices2-sys low-level bindings