Commit aff7033
committed
Update boolean.py to v3.2
* now with proper support of CNF and DNF normalization.
Signed-off-by: Philippe Ombredanne <pombredanne@nexb.com>1 parent 93731ea commit aff7033
3 files changed
Lines changed: 3 additions & 3 deletions
File tree
- thirdparty/prod
Binary file not shown.
Binary file not shown.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
2 | | - | |
3 | | - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
0 commit comments