/* FILE: bt.h	WRITTEN BY: Craig Morgenstern */

int initializeBT();
int lir(/* impasse_v, nincr, subn, dynamic, maxBT, BTcnt */);