Cargo Features
xlsynth-prover has no features set by default.
[dependencies]
xlsynth-prover = { version = "0.35.0", features = ["has-boolector", "has-bitwuzla", "has-easy-smt", "unstable-dslx-specialize", "with-boolector-system", "with-boolector-built", "with-easy-smt", "with-boolector-binary-test", "with-bitwuzla-binary-test", "with-z3-binary-test", "with-bitwuzla-system", "with-bitwuzla-built"] }- has-boolector with-boolector-built? with-boolector-system?
-
Affects
solver::boolector,corner_prover::CornerProverSession… - has-bitwuzla with-bitwuzla-built? with-bitwuzla-system?
-
Affects
solver::bitwuzla,corner_prover::CornerProverSession… - has-easy-smt with-easy-smt?
-
Affects
solver::easy_smt,corner_prover::CornerProverSession… - unstable-dslx-specialize
- with-boolector-system = has-boolector
-
Enables boolector-sys
- with-boolector-built = has-boolector
-
Enables vendor-lgl of boolector-sys
- with-easy-smt with-bitwuzla-binary-test? with-boolector-binary-test? with-z3-binary-test? = has-easy-smt
-
Enables easy-smt
- with-boolector-binary-test = with-easy-smt
- with-bitwuzla-binary-test = with-easy-smt
- with-z3-binary-test = with-easy-smt
- with-bitwuzla-system = has-bitwuzla
-
Enables bitwuzla-sys
- with-bitwuzla-built = has-bitwuzla
-
Enables vendor-cadical of bitwuzla-sys