from pyeda.inter import *
e = expr('~((A&C&D&I&~G)|(C&D&G&I&~A)|(C&D&I&~B)|(C&D&~A&~B)|(C&D&~A&~G&~I)|(C&D&~B&~G)|(C&I&~A&~B)|(C&I&~A&~D&~G)|(C&I&~B&~G)|(D&I&~A&~B)|(D&I&~B&~G)|(D&~A&~B&~G)|(I&~A&~B&~G))')
e.to_dnf()
This code fills more than 8GB of memory.
When to_dnf method is called, the memory for the computation is not freed until the process is terminated.
pyeda 0.28.0
This code fills more than 8GB of memory. When to_dnf method is called, the memory for the computation is not freed until the process is terminated.