CirKit
latest
Contents:
Installation
Getting Started
Data Structures
Integration
RevKit
CirKit
Docs
»
Welcome to CirKit’s documentation!
Edit on GitHub
Welcome to CirKit’s documentation!
¶
Contents:
Installation
Requirements and dependencies
Build and run CirKit
Build and run RevKit
Python interface
Troubleshooting
Getting Started
Running CirKit
Stores
Logging
Aliases
Data Structures
Truth tables
Expressions
And-inverter Graphs (AIG)
Integration
ABC
RevKit
Input and output
Adding a command to RevKit
Indices and tables
¶
Index
Search Page
Read the Docs
v: latest
Versions
latest
stable
Downloads
pdf
htmlzip
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.