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.
Boolector has no features set by default.
[dependencies]
boolector = { version = "0.4.3", features = ["vendor-lgl"] }
Enables vendor-lgl of boolector-sys
Boolector has 1 feature without comment.