Function Dependencies

 BR_Nilsson
   BR_vars
   BR_int2bits
   BR_sat
   lsqlin

 BR_KB2F_ind
   BR_sentence2formula (included in BR_KB2F_ind.m file)

 BR_KB2F_gen
   BR_create_vtable
   BR_parity
   BR_get_vtable
   BR_put_vtable
   BR_vars (included in BR_KB2F_gen.m file)

 BR_put_vtable
   BR_get_vtable
   BR_parity

 BR_PSAT2PSAT3
   BR_3PSAT
   BR_vars (included in BR_PSAT2PSAT3.m file)