carta

resetbddsystem(3) on Linux

The text 5331384232d2, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

resets a bdd system.

resetbddsystem(3) on Linux now