Welcome to kitty’s documentation!

• Introduction
• Installation
  • Building examples
  • Building tests and micro benchmarks
• Change Log
  • Next release
  • v0.8 (September 9, 2022)
  • v0.7 (March 13, 2020)
  • v0.6 (June 2, 2019)
  • v0.5 (October 8, 2018)
  • v0.4 (May 4, 2018)
  • v0.3 (February 25, 2018)
  • v0.2 (December 21, 2017)
  • v0.1 (October 22, 2017)
• Examples
  • NPN canonization
  • ISOP computation
• Acknowledgments

Reference

• Truth table data structures
  • Dynamic truth table
  • Static truth table
  • Partial truth table
  • Ternary truth table
  • Quaternary truth table
• Bit Operations
• Algorithms
• Constructors
• Operations
  • Predicates
  • Combination and manipulation
• Operators
• Properties
• Printing
• Hash values
• Implicants
• Decomposition
• Canonization
• Enumeration
• Cube data structure
• Permutations
• ESOP representations
• ISOP representations
• CNF representations
• Type traits
• Reference

Indices and tables