supportChain_listBdd(3) on Linux

The text 45194d348680, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

returns a chained list of nodes that are used in a given BDD.