kitty
stable
Introduction
Installation
Change Log
Examples
Acknowledgments
Reference
Truth table data structures
Bit Operations
Algorithms
Constructors
Operations
Operators
Properties
Printing
Hash values
Implicants
Decomposition
Canonization
Enumeration
Cube data structure
Permutations
ESOP representations
ISOP representations
CNF representations
Type traits
Reference
kitty
Docs
»
Welcome to kitty’s documentation!
Edit on GitHub
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
¶
Read the Docs
v: stable
Versions
latest
stable
Downloads
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.