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

Rust

l_group_validity0.1.0

All Items

Crate Items

Functions

Crate l_group_validity

Functions§

is_valid
Returns whether an LGroupFormula holds in all l-groups.
is_valid_from_string