Lib.rs

Cargo Features

Boolector has no features set by default.

[dependencies]
boolector = { version = "0.4.3", features = ["vendor-lgl"] }

vendor-lgl

Enables vendor-lgl of boolector-sys

Boolector has 1 feature without comment.