all: 
	gcc -DB_64 -O3 bddqueen.c bddc.c -o bddqueen

32: 
	gcc -O3 bddqueen.c bddc.c -o bddqueen

clean:
	rm -f *.o *.exe *~

