mago-algebra-1.9.1
Platform
- i686-pc-windows-msvc
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

mago-algebra 1.9.1

The logical reasoning engine for Mago's static analyzer, responsible for manipulating sets of logical clauses.

Crate
Source
Builds
Feature flags

Coverage
52.5%
21 out of 40 items documented0 out of 17 items with examples
Size
Source code size: 78.98 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 4.04 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 1m 6s Average build duration of successful builds.
all releases: 1m 13s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
carthage-software/mago
3187 158 65
crates.io
Dependencies
Versions
Owners