9

dir
32
https://ellipse.math.ucdavis.edu/usvn/svn/polysys/trunk/src/zchaff64
https://ellipse.math.ucdavis.edu/usvn/svn/polysys



2009-07-13T22:25:48.011907Z
3
malkin


svn:special svn:externals svn:needs-lock











6368b0d9-103f-44e1-ab64-fb26b4a3e984

zchaff_dbase.cpp
file




2011-03-02T19:33:51.000000Z
28d096cec6610b998dc6b1448a8573f8
2009-07-13T22:10:24.583287Z
2
malkin





















16192

zchaff_solver.h
file




2011-03-02T19:33:51.000000Z
17aaaa9d62357c80dd4473128c75a014
2009-07-13T22:10:24.583287Z
2
malkin





















12235

zchaff_base.h
file




2011-03-02T19:33:51.000000Z
dc140740510489955fe875d148902600
2009-07-13T22:10:24.583287Z
2
malkin





















15281

zchaff_clsgen.h
file




2011-03-02T19:33:51.000000Z
c449e7f95d15964e483ba0aaaf116902
2009-07-13T22:10:24.583287Z
2
malkin





















8556

zchaff_dbase.h
file




2011-03-02T19:33:51.000000Z
35c52a88814299db41bd024ae95efdb4
2009-07-13T22:10:24.583287Z
2
malkin





















8745

sample.cnf
file




2011-03-02T19:33:52.000000Z
ff0c5fd64e125671a8c06d3ca0544f60
2009-07-13T22:10:24.583287Z
2
malkin





















50

zverify_df.cpp
file




2011-03-02T19:33:52.000000Z
e2d45db2048dd18e05f9b493b10349fd
2009-07-13T22:10:24.583287Z
2
malkin





















24123

zchaff_version.h
file




2011-03-02T19:33:52.000000Z
0e7563307bfa458975fe8e3c0ee78dad
2009-07-13T22:10:24.583287Z
2
malkin





















2109

README
file




2011-03-02T19:33:52.000000Z
6915af63d6e7069a83a2b0399c318119
2009-07-13T22:10:24.583287Z
2
malkin





















5323

zchaff_header.h
file




2011-03-02T19:33:52.000000Z
1db464409da551b55dc7890a5b2b617f
2009-07-13T22:10:24.583287Z
2
malkin





















2867

zminimal.cpp
file




2011-03-02T19:33:52.000000Z
0429d5b93fec6e5429e32c5265002ced
2009-07-13T22:10:24.583287Z
2
malkin





















10854

zchaff_utils.cpp
file




2011-03-02T19:33:52.000000Z
59ee74958f703625d61734a7fe50898b
2009-07-13T22:10:24.583287Z
2
malkin





















3200

sat_solver.cpp
file




2011-03-02T19:33:52.000000Z
5c959c1576770d1f16e501d562e1e756
2009-07-13T22:10:24.583287Z
2
malkin





















11407

cnf_stats.cpp
file




2011-03-02T19:33:52.000000Z
1bcb1f0df40f0f03eaa6e86bd7d0c812
2009-07-13T22:10:24.583287Z
2
malkin





















3289

zchaff_wrapper.wrp
file




2011-03-02T19:33:53.000000Z
27b370c0a6d2f6d8b403f3e54d197cae
2009-07-13T22:10:24.583287Z
2
malkin





















14971

run_till_fix.pl
file




2011-03-02T19:33:53.000000Z
afc6a53aa452efe247b82a123997e453
2009-07-13T22:10:24.583287Z
2
malkin
has-props




















767

zchaff_solver.cpp
file




2011-03-02T19:33:53.000000Z
46095268cf4552849576c0f93a0d782b
2009-07-13T22:10:24.583287Z
2
malkin





















49036

zchaff_base.cpp
file




2011-03-02T19:33:53.000000Z
3c8ff13170023e9529e0deb52ac3a471
2009-07-13T22:10:24.583287Z
2
malkin





















3773

SAT.h
file




2011-03-02T19:33:53.000000Z
c8cb19434aaaf04e27feb01ce7980c35
2009-07-13T22:10:24.583287Z
2
malkin





















17914

Makefile
file




2011-03-02T19:33:53.000000Z
5f48d7485c45e6cedb79cb18f01080c7
2009-07-13T22:10:24.583287Z
2
malkin





















1626

