Docs.rs
logicaffeine-cli-0.10.1
logicaffeine-cli 0.10.1
Docs.rs crate page
BUSL-1.1
11 July 2026
Links
Homepage
Repository
crates.io
Source
Owners
TristenHarr
Dependencies
anstream ^0.6
normal
anstyle ^1
normal
clap ^4.4
normal
clap_complete ^4.4
normal
dirs ^5.0
normal
flate2 ^1.0
normal
futures ^0.3
normal
logicaffeine-base ^0.10.1
normal
logicaffeine-compile ^0.10.1
normal
logicaffeine-kernel ^0.10.1
normal
logicaffeine-language ^0.10.1
normal
logicaffeine-proof ^0.10.1
normal
logicaffeine-verify ^0.10.1
normal
optional
rand ^0.8
normal
rustyline ^15
normal
serde ^1.0
normal
serde_json ^1.0
normal
tar ^0.4
normal
toml ^0.8
normal
toml_edit ^0.22
normal
ureq ^2.9
normal
tempfile ^3
dev
logicaffeine-jit ^0.10.1
normal
Versions
98.23%
of the crate is documented
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
Skip to main content
Module readonly
logicaffeine_
cli
0.10.1
Module readonly
Module Items
Structs
In logicaffeine_
cli::
analysis
logicaffeine_cli
::
analysis
Module
readonly
Copy item path
Source
Structs
§
Mutable
Borrow
Params
Mutable borrow parameter analysis result.
Readonly
Params
Readonly parameter analysis result.