Lib.rs

Cargo Features

smt-str has no features set by default.

[dependencies]
smt-str = { version = "0.2.0", features = ["full", "regex", "automata", "sampling"] }

full = automata, sampling

regex automata?

Enables itertools and smallvec

Affects smt-str::re…

automata full? = regex

Enables bit-set, dot, and indexmap

Affects smt-str::automata…

sampling full?

Enables rand

Affects smt-str::sampling…