Expand description
Symbolic & Logic Solvers - Zero-Allocation Implementation
This module provides fixed-size stack-based symbolic and logic solvers for defeasible reasoning and boolean satisfiability suitable for the #![no_std] environment of Qualia-DB.
Structs§
- Bounded
SatSolver - Bounded SAT solver for boolean satisfiability
- Clause
- Clause structure for SAT solver
- Conflict
- Conflict structure
- Conflict
State - Conflict state for defeasible reasoning
- Decision
- Decision structure
- Defeasible
Rule - Defeasible rule structure
- Defeasible
State - Defeasible reasoning state
- Fact
- Fact structure
- Forward
Chaining Defeasible - Forward chaining defeasible reasoning solver
- Literal
- Literal structure
- SatState
- SAT solver state
- Variable
Assignment - Variable assignment
Enums§
- Assignment
Value - Assignment values
- Conflict
Type - Conflict types
- Resolution
Strategy - Resolution strategies
- Rule
Type - Rule types for defeasible logic