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
Platform
Feature flags

Rust

☰

Crate l_group_validity

Version 0.1.0

See all l_group_validity's items

Functions

[−][src]Crate l_group_validity

Functions

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