search

msoeken / kitty

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

is_covered_with_divisors #106

Closed hriener closed 4 years ago

hriener commented 4 years ago

This PR provides a new function is_covered_with_divisors, which allows checking if a target function can be resynthesized by a set of divisor functions.