satire-0.0.1
- satire 0.0.1
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- Qwaz
- Dependencies
- log ^0.4 normal
  
  pretty_env_logger ^0.4 normal
  
  rand ^0.8.4 normal
  
  snafu ^0.6.10 normal
  
  typed-index-collections ^3.0 normal
  
  paste ^1.0.5 dev
- Versions
- 20.34% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Crate satire

satire0.0.1

All Items

Crate Items

Modules

Crate satire

Modules§

formula: A module to represent conjunctive normal form formula.
parser
prelude
report: Custom Snafu error printer
solver