logic-eval-0.1.0
- logic-eval 0.1.0
- Docs.rs crate page
- Apache-2.0 OR MIT
- Links
- Repository
- crates.io
- Source
- Owners
- ecoricemon
- Dependencies
- ahash ^0.8.12 normal
  indexmap ^2.12.0 normal
  logic-eval-util ^0.1.0 normal
- Versions
- 4.35% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

All

logic_eval0.1.0

Crate Items

Structs
Enums
Constants
Traits
Functions

List of all items

Structs

Clause
ClauseDataset
Database
Name
Predicate
ProveCx
Str
Term

Enums

Expr

Traits

Parse

Functions

parse_str

Constants

VAR_PREFIX