Expand description
This crate contains the core functionality for dealing with logic functions in the LibrEDA framework.
§References
Some unordered list of literature:
- “Logic Design and Switching Theory” https://archive.org/details/logicdesignswitc00muro
Modules§
- adaptors
- Adaptors for Boolean functions.
- algorithms
- Algorithms for logic networks.
- logic_
value - Trait for logic values and implementations thereof.
- native_
boolean_ functions - Implement the
BooleanSystem
trait for native Rust functions. - network
- Abstraction of logic networks.
- network_
simulator - Simulate logic networks.
- networks
- Logic networks.
- traits
- Abstractions for different representations of boolean formulas. Defines how different types of boolean functions/formulas can be accessed and manipulated.
- truth_
table - Traits and implementations of truth-tables.