    {"use_recursive_BDD_test",
    (PyCFunction)PyPBConfig_Use_Recursive_BDD_Test,
	 METH_VARARGS, "Set the use of recursive BDD test. False by default."},
    {"use_real_robdds",
    (PyCFunction)PyPBConfig_Use_Real_Robdds,
	 METH_VARARGS, "Set the use of real robdds. True by default."},
    {"use_watch_dog_encoding_in_binary_merger",
    (PyCFunction)PyPBConfig_Use_Watch_Dog_Encoding_In_Binary_Merger,
	 METH_VARARGS, "Set use watch dog encoding in binary merge. False by default."},
	{NULL}	/* sentinel */
};


// PyPBConfig Python type definition