tptp-0.28.0
- tptp 0.28.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

?

[−][src]Module tptp::cnf

the CNF dialect

Structs

Enums

Formula	`cnf_formula`
Literal	`literal`