COPYING file for distribution master
-rw-r--r-- 1588 CMakeLists.txt
-rw-r--r-- 35147 COPYING
-rw-r--r-- 2512 GBsolve.c
-rw-r--r-- 1407 INSTALL
drwxr-xr-x - MTRand
-rw-r--r-- 855 Makefile
-rw-r--r-- 3578 README
-rw-r--r-- 5107 SATsolve.c
-rw-r--r-- 617 TODO
-rw-r--r-- 2507 anf2cnf.c
-rw-r--r-- 15160 anf2cnf.py
-rw-r--r-- 6338 bestbits.cpp
-rw-r--r-- 1365 chrono.h
-rw-r--r-- 78 debug.mk
-rw-r--r-- 58 example.anf
-rw-r--r-- 968 generate_anf.m
-rw-r--r-- 42705 libanf2cnf.c
-rw-r--r-- 3237 libanf2cnf.h
-rw-r--r-- 5751 libdatastruct.c
-rw-r--r-- 2159 libdatastruct.h
-rw-r--r-- 8208 looping.c
-rw-r--r-- 1590 parseanf.c
-rw-r--r-- 1607 propagate.c
-rw-r--r-- 756 utils.m