removed Time-stamp + unsigned int in loops
authorLuk Bettale <luk.bettale@gmail.com>
Tue, 27 Sep 2011 10:27:19 +0000 (12:27 +0200)
committerLuk Bettale <luk.bettale@gmail.com>
Tue, 27 Sep 2011 10:27:19 +0000 (12:27 +0200)
commit30d83a6d23574d0deb9a066aafa69abdfb536b73
treeb30511b21b33abf6490bb58808a46ddb7a22c324
parenta8269562d5d691dcc5eaf9ddc51b4711a403b179
removed Time-stamp + unsigned int in loops
GBsolve.c
SATsolve.c
chrono.h
looping.c