propositional-tableau-solver-rs-0.1.0
- propositional-tableau-solver-rs 0.1.0
- Permalink
- Docs.rs crate page
- MIT
- Links
- Crates.io
- Source
- Owners
- jieyouxu
- Dependencies
- colored ^1.9.3 normal
  log ^0.4.8 normal
  nom ^5.1.1 normal
  nom_locate ^2.0.0 normal
  paw ^1.0.0 normal
  pretty_env_logger ^0.4.0 normal
  structopt ^0.3.14 normal
  assert2 ^0.2.0 dev
- Versions
Platform
Feature flags

Rust

☰

Module propositional_formula

Enums

libprop_sat_solver::formula

[−][src]Module libprop_sat_solver::formula::propositional_formula

A propositional formula.

Enums

PropositionalFormula

A propositional formula is defined inductively, conforming to the following BNF: