Crate libreda_logic

Source
Expand description

This crate contains the core functionality for dealing with logic functions in the LibrEDA framework.

§References

Some unordered list of literature:

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.