Crate mutaig

Modules

cnf

Generate miters between two circuits and the resulting SAT formula as a CNF.

dfs

miter

Structs

Aig

A whole AIG.

AigEdge

A directed edge representing a fanin for AIG nodes.

Enums

AigError

Error returned when an AIG operation failed.

AigNode

An AIG node.

FaninId

Unambiguous fanin selector.

Type Aliases

AigNodeRef

A wrapper for AIG nodes to allow multiple references to it.

NodeId

A node id.

Result

The result of an AIG operation.