Adding MersenneTwister.h
-rw-r--r-- 1588 CMakeLists.txt
-rw-r--r-- 2567 GBsolve.c
drwxr-xr-x - MTRand
-rw-r--r-- 519 Makefile
-rw-r--r-- 5129 SATsolve.c
-rw-r--r-- 615 TODO
-rw-r--r-- 1902 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-- 1640 parseanf.c
-rw-r--r-- 1761 propagate.c
-rw-r--r-- 756 utils.m