Lib.rs

Cargo Features

xlsynth-driver has no features set by default.

[dependencies]
xlsynth-driver = { version = "0.29.0", features = ["unstable-dslx-specialize", "has-boolector", "has-easy-smt", "has-bitwuzla", "with-boolector-system", "with-boolector-built", "with-z3-system", "with-z3-built", "with-easy-smt", "with-boolector-binary-test", "with-bitwuzla-binary-test", "with-z3-binary-test", "with-bitwuzla-system", "with-bitwuzla-built", "enable-fake-task"] }

unstable-dslx-specialize

Enables unstable-dslx-specialize of xlsynth-prover

has-boolector with-boolector-built? with-boolector-system?

Enables has-boolector of xlsynth-prover

has-easy-smt with-easy-smt?

Enables has-easy-smt of xlsynth-prover

has-bitwuzla with-bitwuzla-built? with-bitwuzla-system?

Enables has-bitwuzla of xlsynth-prover

with-boolector-system = has-boolector

Enables boolector support, defaulting to system linking

Enables with-boolector-system of xlsynth-prover

with-boolector-built = has-boolector

Enables boolector support AND builds it from source

Enables with-boolector-built of xlsynth-prover

with-z3-system

Enables with-z3-system of xlsynth-g8r

with-z3-built

Enables with-z3-built of xlsynth-g8r

with-easy-smt with-bitwuzla-binary-test? with-boolector-binary-test? with-z3-binary-test? = has-easy-smt

Enables with-easy-smt of xlsynth-prover

with-boolector-binary-test = with-easy-smt

Enables with-easy-smt of xlsynth-prover

with-bitwuzla-binary-test = with-easy-smt

Enables with-easy-smt of xlsynth-prover

with-z3-binary-test = with-easy-smt

Enables with-easy-smt of xlsynth-prover

with-bitwuzla-system = has-bitwuzla

Enables with-bitwuzla-system of xlsynth-prover

with-bitwuzla-built = has-bitwuzla

Enables with-bitwuzla-built of xlsynth-prover

enable-fake-task

Enable a fake task kind and lightweight shell-based worker for scheduler fuzzing and testing.

Affects prover_config::FakeTaskConfig…