/lab1_datalab/bddcheck/
../
all-functions.txt
cbit
check.pl
checkprogs.pl
satparse.pl