File list (Check if you may need any files):
datalab-handout
...............\.bits.c.swo
...............\.bits.c.swp
...............\bddcheck
...............\........\all-functions.txt
...............\........\cbit
...............\........\....\cbit
...............\........\....\README
...............\........\check.pl
...............\........\checkprogs.pl
...............\........\README
...............\........\satparse.pl
...............\bits.c
...............\bits.h
...............\btest
...............\btest.c
...............\btest.h
...............\decl.c
...............\dlc
...............\driver.pl
...............\Driverhdrs.pm
...............\Driverlib.pm
...............\fshow.c
...............\ishow.c
...............\make
...............\Makefile
...............\README
...............\tests.c