l_group_validity-0.1.0
- l_group_validity 0.1.0
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- raw-bacon
- Dependencies
- l_group_cnf ^0.1.0 normal
  l_group_formulas ^0.1.0 normal
  truncated_free_groups ^0.1.0 normal
- Versions
- 33.33% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Skip to main content

is_valid

l_group_validity0.1.0

l_group_validity

Function is_valid

pub fn is_valid(eq: LGroupFormula, verbose: bool) -> bool

Expand description

Returns whether an LGroupFormula holds in all l-groups.