Lib.rs

Cargo Features

monster-rs has no features set by default.

[dependencies]
monster-rs = { version = "0.4.1", features = ["z3", "boolector"] }

z3 = z3-solver, z3-sys

boolector = boolector-solver, boolector-sys

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.

boolector-solver boolector?

Enables boolector

boolector-sys boolector?

z3-solver z3?

Enables z3 ~0.10

z3-sys z3?