Lib.rs

Cargo Features

[dependencies]
liblisa = { version = "0.1.3", default-features = false, features = ["x64-undef", "schemars", "z3"] }

default = x64-undef, z3

These default features are set whenever liblisa is added without default-features = false somewhere in the dependency tree.

x64-undef default

Enables rusty-xed

Affects x64::undef…

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.

schemars implicit feature

Enables schemars

schemars:

Generate JSON Schemas from Rust code

z3 default

Affects smt::z3…