cleaning up programs for executable (useless spaces removed)
-rw-r--r-- 1588 CMakeLists.txt
-rw-r--r-- 2561 GBsolve.c
drwxr-xr-x - MTRand
-rw-r--r-- 519 Makefile
-rw-r--r-- 5123 SATsolve.c
-rw-r--r-- 615 TODO
-rw-r--r-- 1896 anf2cnf.c
-rw-r--r-- 15160 anf2cnf.py
-rw-r--r-- 6323 bestbits.cpp
-rw-r--r-- 1414 chrono.h
-rw-r--r-- 80 debug.mk
-rw-r--r-- 968 generate_anf.m
-rw-r--r-- 40478 libanf2cnf.c
-rw-r--r-- 2642 libanf2cnf.h
-rw-r--r-- 5719 libdatastruct.c
-rw-r--r-- 2156 libdatastruct.h
-rw-r--r-- 8165 looping.c
-rw-r--r-- 1634 parseanf.c
-rw-r--r-- 1755 propagate.c
-rw-r--r-- 756 utils.m