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