Lib.rs

Cargo Features

[dependencies]
cudd-sys = { version = "1.1.2-alpha.2", default-features = false, features = ["build_cudd"] }

default = build_cudd

The build_cudd feature is set by default whenever cudd-sys is added without default-features = false somewhere in the dependency tree.

build_cudd default

When disabled, the build script will not attempt to build CUDD and will just silently continue. This is necessary for building documentation on docs.rs without access to the internet. For other commands (aside from cargo doc), this will fail to produce a binary during linking.