p.s.w.g
Reputation: 149020
Specify DC cover with espresso_exprs
I'm just getting started learning pyeda, and fairly new to python in general. I have a very complex partially-defined Boolean expression (80~140 variables, 10K terms) that's too big to express as a truth table, but I can express it pretty easily as two DNF's (1 DNF that describes defined ON and OFF sets, and 1 DNF that describes the DC set). My problem is that pyeda offers only to APIs:
espresso_exprsaccepts a list of DNF's and seems to assume these are fully-defined expressions because there's apparently no consideration of DC terms.espresso_ttsaccepts a linearized truth table, potentially with DC terms.
Is there any way to specify a DC DNF or cover when calling espresso with pyeda?
My current work around is to solve for the sum of both DNF's and then to try to drop any terms that only cover DC's, but I'm not sure if that's working correctly yet and anyway I believe this approach is probably relatively inefficient.
Upvotes: 0
Views: 95
Answers (0)
Related Questions
- Pandas: how can I generate "year-month" format column (period)?
- How do I assign year&months in PD dataframe?
- How to change column name from date to Month Name-year in python
- change month-year format to year-month-date format in python
- How to convert month name and year to datetime with pandas
- How to put Month and Year in the same Column in Python Pandas
- Float format convert to year month format in Python
- convert year and month name into datetime column for pandas dataframe
- Formatting months based on the years present in previous row python dataframe
- Display monthly columns by year using pandas