Expand description
models like AndInverterGraph and FiniteStateTransitionSystem.
Re-exports§
pub use and_inverter_graph::AndInverterGraph;pub use finite_state_transition_system::FiniteStateTransitionSystem;
Modules§
- and_
inverter_ graph - object for reading .aig files, turning them into .aag files, and scanning them in different ways.
- finite_
state_ transition_ system - Object for holding a finite state transition system, and performing operations like adding tags and so on.