Cargo Features

Prusto has no features set by default.

[dependencies]
prusto = { version = "0.5.2", features = ["presto"] }
presto

Prusto has 1 feature without comment.