carta

createbddsystem(3) on Linux

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

creates a bdd system.

createbddsystem(3) on Linux now