Lib.rs

› prusto-rs › Features

Cargo Features

prusto-rs has no features set by default.

[dependencies]
prusto-rs = { version = "0.5.1", features = ["presto"] }
presto

prusto-rs has 1 feature without comment.