search

msoeken / kitty

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

Boolean function representative enumeration based on 1-neighbourhood search #61

Closed msoeken closed 6 years ago