tptp-0.29.0
- tptp 0.29.0
- Docs.rs crate page
- MIT
- Links
- Homepage
- crates.io
- Source
- Owners
- MichaelRawson
- Dependencies
- nom ^6 normal
  serde ^1 normal
  insta ^1 dev
- Versions
- 34.41% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Module cnf

Structs
Enums

Module tptp::cnf[−][src]

Expand description

the CNF dialect

Structs

Enums

Formula	`cnf_formula`
Literal	`literal`