Cargo Features
xlsynth-g8r has no features set by default.
[dependencies]
xlsynth-g8r = { version = "0.39.0", features = ["with-z3-system", "with-z3-built"] }- with-z3-system
-
Enables z3 ^0.12
Affects
xlsynth-g8r::prove_gate_fn_equiv_z3… - with-z3-built
-
Enables static-link-z3 of z3 ^0.12
z3:
This is a legacy feature here for short term compatibility.
Affects
xlsynth-g8r::prove_gate_fn_equiv_z3…