I was searching for a way to use Pyeda to feed a BoolFunction in LookUp table form as input and get all the prime implicants in LUT form with don't care symbols (like espresso does with one of its options for retrieval of all and not only essentials).
It seemed to me like one of your new features may be doing this but I could not figure it out.
I was searching for a way to use Pyeda to feed a BoolFunction in LookUp table form as input and get all the prime implicants in LUT form with don't care symbols (like espresso does with one of its options for retrieval of all and not only essentials).
It seemed to me like one of your new features may be doing this but I could not figure it out.