search

msoeken / kitty

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

add sifting_p_canonization #111

Closed fmozafari closed 4 years ago

fmozafari commented 4 years ago

As I need exact_p_canonization for tt hashing and it only works up to 6 variables, I added sifting_p_canonization.