removed Time-stamp + unsigned int in loops
-rw-r--r-- 1588 CMakeLists.txt
-rw-r--r-- 2512 GBsolve.c
-rw-r--r-- 1407 INSTALL
drwxr-xr-x - MTRand
-rw-r--r-- 520 Makefile
-rw-r--r-- 3578 README
-rw-r--r-- 5107 SATsolve.c
-rw-r--r-- 615 TODO
-rw-r--r-- 1896 anf2cnf.c
-rw-r--r-- 15160 anf2cnf.py
-rw-r--r-- 6338 bestbits.cpp
-rw-r--r-- 1365 chrono.h
-rw-r--r-- 80 debug.mk
-rw-r--r-- 58 example.anf
-rw-r--r-- 968 generate_anf.m
-rw-r--r-- 40101 libanf2cnf.c
-rw-r--r-- 2703 libanf2cnf.h
-rw-r--r-- 5800 libdatastruct.c
-rw-r--r-- 2208 libdatastruct.h
-rw-r--r-- 8208 looping.c
-rw-r--r-- 1634 parseanf.c
-rw-r--r-- 1755 propagate.c
-rw-r--r-- 756 utils.m