Crate libreda_logic

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.