Docs.rs
razor-chase-0.1.0
Platform
i686-pc-windows-msvc
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
razor-chase 0.1.0
razor-chase implements a variation of The Chase algorithm to find models for theories in geometric form.
Crate
Source
Builds
Feature flags
Documentation
Links
salmans/rusty-razor
55
1
19
Crates.io
Dependencies
criterion ^0.1
normal
itertools ^0.7
normal
rand ^0.6.5
normal
razor-fol ^0.1.0
normal
serde ^1.0.93
normal
serde_derive ^1.0.93
normal
serde_json ^1.0.39
normal
tracing ^0.1
normal
Versions
0.1.0
Owners