Adding support for reading wrong assumptions master
[satlib.git] / zchaff64 /
drwxr-xr-x   ..
-rw-r--r-- 1777 Makefile
-rw-r--r-- 5323 README
-rw-r--r-- 17914 SAT.h
-rw-r--r-- 3289 cnf_stats.cpp
-rw-r--r-- 5466 inc_solver.cpp
-rwxr-xr-x 767 run_till_fix.pl
-rw-r--r-- 11426 sat_solver.cpp
-rw-r--r-- 3773 zchaff_base.cpp
-rw-r--r-- 15281 zchaff_base.h
-rw-r--r-- 8556 zchaff_clsgen.h
-rw-r--r-- 16212 zchaff_dbase.cpp
-rw-r--r-- 8745 zchaff_dbase.h
-rw-r--r-- 2867 zchaff_header.h
-rw-r--r-- 49032 zchaff_solver.cpp
-rw-r--r-- 12235 zchaff_solver.h
-rw-r--r-- 3200 zchaff_utils.cpp
-rw-r--r-- 2109 zchaff_version.h
-rw-r--r-- 14971 zchaff_wrapper.wrp
-rw-r--r-- 10854 zminimal.cpp
-rw-r--r-- 24123 zverify_df.cpp