Crate mutaig
Source - cnf
- Generate miters between two circuits and the resulting SAT formula as a CNF.
- dfs
- Provides a DFS visitor to allow simple AIG traversal.
- miter
- Aig
- A whole AIG.
- AigEdge
- A directed edge representing a fanin for AIG nodes.
- AigError
- Error returned when an AIG operation failed.
- AigNode
- An AIG node.
- FaninId
- Unambiguous fanin selector.
- ParserError
- Error returned when parsing from file failed.
- AigNodeRef
- A wrapper for AIG nodes to allow multiple references to it.
- NodeId
- A node id.
- Result
- The result of an AIG operation.