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