9

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



2009-07-13T22:31:32.664087Z
4
malkin


svn:special svn:externals svn:needs-lock











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




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





















16206

zchaff_solver.h
file




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





















12241

zchaff_base.h
file




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





















15281

zchaff_clsgen.h
file




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





















8556

zchaff_dbase.h
file




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





















8745

sample.cnf
file




2011-03-02T19:33:21.000000Z
96315ad3db27420773a339e46e99b386
2009-07-13T22:10:24.583287Z
2
malkin





















49

zverify_df.cpp
file




2011-03-02T19:33:21.000000Z
549e6af20cb9432d4bf7ab7b8c603ffe
2009-07-13T22:10:24.583287Z
2
malkin





















24211

zchaff_version.h
file




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





















2109

README
file




2011-03-02T19:33:21.000000Z
92beeb29e716ba1c70fe249929fa6d47
2009-07-13T22:10:24.583287Z
2
malkin





















5361

zchaff_header.h
file




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





















2903

zminimal.cpp
file




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





















10873

zchaff_utils.cpp
file




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





















3236

sat_solver.cpp
file




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





















11456

cnf_stats.cpp
file




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





















3309

zchaff_wrapper.wrp
file




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





















14977

run_till_fix.pl
file




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




















767

zchaff_solver.cpp
file




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





















49036

zchaff_base.cpp
file




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





















3773

SAT.h
file




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





















17914

Makefile
file




2011-03-02T19:33:22.000000Z
ed981b77b6cbbdb7476dbcb8c3bb333a
2009-07-13T22:25:48.011907Z
3
malkin





















1651

