search

msoeken / kitty

C++ truth table library
MIT License
50 stars 77 forks source link

Bi-decomposition #72

Closed eletesta closed 5 years ago