simplifDcZeroBdd(3) on Linux
The text 54ecf745c273, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
simplifies a BDD with don't cares on its off-set part
The text 54ecf745c273, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
simplifies a BDD with don't cares on its off-set part