all: BDDTester

BDDTester: BDDTester.cpp BiDirDijkstra.cpp BiDirDijkstra.h  utils.h
	g++ BDDTester.cpp BiDirDijkstra.cpp -o BDDTester

clean:
	rm -f BDDTester bdd?.txt output.txt
