Cargo Features

varisat-formula has no features set by default.

[dependencies]
varisat-formula = { version = "0.2.2", features = ["proptest-strategies", "internal-testing"] }
proptest-strategies = proptest
internal-testing = proptest, rand

Features from optional dependencies

In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.

rand internal-testing?

Enables rand ^0.7.3

proptest internal-testing? proptest-strategies?

Enables proptest ^0.10.1