restrictbddnode(3) on Linux
The text 5c1545ee804e, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
substitutes a variable by a zero or one, in a bdd.
The text 5c1545ee804e, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
substitutes a variable by a zero or one, in a bdd.