- b -

• Binomial() : vector.c, vector.h
• bit_vector_includes() : polyparam.c
• bound_polyhedron() : Zpolyhedron.c
• BuildSat() : polyhedron.c