• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..03-May-2022-

mpi/H03-May-2022-844665

msvc/H06-Jul-2020-248152

.color_codedH A D06-Jul-202023 21

.kdev_include_pathsH A D06-Jul-202064 21

GitSHA1.cpp.inH A D06-Jul-20202.6 KiB7062

GitSHA1.hH A D06-Jul-20201.2 KiB305

MersenneTwister.hH A D06-Jul-202013.6 KiB424230

Vec.hH A D06-Jul-20207.1 KiB315244

XAlloc.hH A D06-Jul-20201.9 KiB4818

alg.hH A D06-Jul-20201.6 KiB4318

avgcalc.hH A D06-Jul-20204.8 KiB202150

bitarray.hH A D06-Jul-20203.2 KiB14292

boundedqueue.hH A D06-Jul-20204.5 KiB191134

bva.cppH A D06-Jul-202025.7 KiB854718

bva.hH A D06-Jul-20205.5 KiB201152

cardfinder.cppH A D06-Jul-202012.8 KiB421294

cardfinder.hH A D06-Jul-20202.3 KiB8043

ccnr.cppH A D06-Jul-202016.3 KiB531442

ccnr.hH A D06-Jul-20205.1 KiB183121

ccnr_cms.cppH A D06-Jul-202012.6 KiB427346

ccnr_cms.hH A D06-Jul-20202.5 KiB8240

ccnr_mersenne.hH A D06-Jul-20206.1 KiB191140

cl_predictors.cppH A D06-Jul-202014.2 KiB466331

cl_predictors.hH A D06-Jul-20202.9 KiB10165

clabstraction.hH A D06-Jul-20201.6 KiB5020

clause.hH A D06-Jul-202014.3 KiB585455

clauseallocator.cppH A D06-Jul-202011.4 KiB369255

clauseallocator.hH A D06-Jul-20204.3 KiB13771

clausecleaner.cppH A D06-Jul-202011.5 KiB440354

clausecleaner.hH A D06-Jul-20202.7 KiB9148

clausedumper.cppH A D06-Jul-202010.2 KiB347280

clausedumper.hH A D06-Jul-20203.1 KiB9556

cloffset.hH A D06-Jul-20201.5 KiB4312

clustering.hH A D06-Jul-20201.6 KiB5120

cms_bosphorus.cppH A D06-Jul-20204 KiB13694

cms_bosphorus.hH A D06-Jul-20201.5 KiB5724

cms_breakid.cppH A D06-Jul-202014 KiB504399

cms_breakid.hH A D06-Jul-20202.6 KiB9253

cnf.cppH A D06-Jul-202022.5 KiB845688

cnf.hH A D06-Jul-202018.2 KiB692557

compfinder.cppH A D06-Jul-20209 KiB343253

compfinder.hH A D06-Jul-20203.8 KiB13987

comphandler.cppH A D06-Jul-202021.6 KiB767572

comphandler.hH A D06-Jul-20206 KiB204138

completedetachreattacher.cppH A D06-Jul-20205.8 KiB223157

completedetachreattacher.hH A D06-Jul-20202.7 KiB8640

constants.hH A D06-Jul-20204.2 KiB14589

cryptominisat.cppH A D06-Jul-202040 KiB1,3701,131

cryptominisat.h.inH A D06-Jul-202011.7 KiB226192

cryptominisat_c.cppH A D06-Jul-20205.9 KiB170114

cryptominisat_c.h.inH A D06-Jul-20203.7 KiB8870

cset.hH A D06-Jul-20205.6 KiB192111

datasync.cppH A D06-Jul-202016 KiB585468

datasync.hH A D06-Jul-20204.1 KiB14798

datasyncserver.cppH A D06-Jul-20208.1 KiB260196

datasyncserver.hH A D06-Jul-20202.2 KiB7136

dimacsparser.hH A D06-Jul-202016.8 KiB627539

distillerlong.cppH A D06-Jul-202011.8 KiB438343

distillerlong.hH A D06-Jul-20203.1 KiB10765

distillerlongwithimpl.cppH A D06-Jul-202013.8 KiB541427

distillerlongwithimpl.hH A D06-Jul-20205.3 KiB183133

drat.cppH A D06-Jul-20201.2 KiB264

drat.hH A D06-Jul-20209.1 KiB404317

fuzz.cppH A D06-Jul-20202.3 KiB7338

gatefinder.cppH A D06-Jul-202030.9 KiB1,099849

gatefinder.hH A D06-Jul-20207.9 KiB320232

gaussian.cppH A D06-Jul-202045.7 KiB1,4381,141

gaussian.hH A D06-Jul-20206.3 KiB238138

gausswatched.hH A D06-Jul-20202 KiB5721

gqueuedata.hH A D06-Jul-20201.9 KiB5222

hasher.hH A D06-Jul-20201.9 KiB6228

heap.hH A D06-Jul-20205.8 KiB231167

hyperengine.cppH A D06-Jul-202020.8 KiB697505

hyperengine.hH A D06-Jul-20202.9 KiB9252

intree.cppH A D06-Jul-202013.2 KiB460366

intree.hH A D06-Jul-20203.1 KiB11775

ipasir.cppH A D06-Jul-20207.6 KiB252116

ipasir.hH A D06-Jul-20206.1 KiB15313

lucky.cppH A D06-Jul-20209.9 KiB364298

lucky.hH A D06-Jul-20201.6 KiB5220

main.cppH A D06-Jul-202063.1 KiB1,5531,337

main.hH A D06-Jul-20204.1 KiB13887

main_common.cppH A D06-Jul-20203 KiB8958

main_common.hH A D06-Jul-20201.8 KiB4921

main_emscripten.cppH A D06-Jul-20203.4 KiB13689

main_exe.cppH A D06-Jul-20201.9 KiB5729

main_simple.cppH A D06-Jul-20208.8 KiB269211

matrixfinder.cppH A D06-Jul-202014.8 KiB473375

matrixfinder.hH A D06-Jul-20202.8 KiB9957

mystack.hH A D06-Jul-20201.8 KiB7843

nomutex.hH A D06-Jul-20201.8 KiB6131

occsimplifier.cppH A D06-Jul-202097.4 KiB3,3462,671

occsimplifier.hH A D06-Jul-202016.7 KiB605449

packedmatrix.hH A D06-Jul-20204.8 KiB200137

packedrow.cppH A D06-Jul-20206.4 KiB219151

packedrow.hH A D06-Jul-20207.8 KiB336240

popcnt.hH A D06-Jul-20201.3 KiB327

predict_func_type.hH A D06-Jul-20201.4 KiB4013

propby.hH A D06-Jul-20206 KiB240166

propby_backup.hH A D06-Jul-20206 KiB233157

propbyforgraph.hH A D06-Jul-20203.9 KiB152109

propengine.cppH A D06-Jul-202021 KiB742570

propengine.hH A D06-Jul-202014.1 KiB534415

reducedb.cppH A D06-Jul-202025.5 KiB796660

reducedb.hH A D06-Jul-20202.3 KiB7742

satzilla_features.cppH A D06-Jul-20205 KiB11876

satzilla_features.hH A D06-Jul-20203.9 KiB12577

satzilla_features_calc.cppH A D06-Jul-202014.5 KiB405318

satzilla_features_calc.hH A D06-Jul-20202.4 KiB8350

satzilla_features_to_reconf.cppH A D06-Jul-202020.9 KiB753652

satzilla_features_to_reconf.hH A D06-Jul-20201.3 KiB304

sccfinder.cppH A D06-Jul-20205.9 KiB208157

sccfinder.hH A D06-Jul-20204.7 KiB165112

searcher.cppH A D06-Jul-2020113.3 KiB3,9603,296

searcher.hH A D06-Jul-202019.9 KiB645480

searchhist.hH A D06-Jul-20205.5 KiB160108

searchstats.cppH A D06-Jul-20209.6 KiB310219

searchstats.hH A D06-Jul-20203.2 KiB11061

shareddata.hH A D06-Jul-20202.6 KiB9459

signalcode.cppH A D06-Jul-20202.2 KiB7039

signalcode.hH A D06-Jul-20201.4 KiB4113

simplefile.hH A D06-Jul-20203.8 KiB174121

sls.cppH A D06-Jul-20204.9 KiB161103

sls.hH A D06-Jul-20201.5 KiB5019

solutionextender.cppH A D06-Jul-20207 KiB217133

solutionextender.hH A D06-Jul-20202.1 KiB7339

solutionextender_old-cppH A D06-Jul-202011.1 KiB390335

solutionextender_old-hH A D06-Jul-20202.6 KiB8869

solver.cppH A D06-Jul-2020138.4 KiB4,9114,090

solver.hH A D06-Jul-202019.8 KiB609475

solverconf.cppH A D06-Jul-202015.4 KiB456300

solverconf.hH A D06-Jul-202015.8 KiB519374

solvertypes.hH A D06-Jul-202016.7 KiB714563

solvertypesmini.h.inH A D06-Jul-20205.1 KiB194162

sql_tablestructure.hH A D06-Jul-20201.4 KiB295

sqlitestats.cppH A D06-Jul-202038.4 KiB969783

sqlitestats.hH A D06-Jul-20205.4 KiB184138

sqlstats.hH A D06-Jul-20204.2 KiB153109

str_impl_w_impl.cppH A D06-Jul-20205.7 KiB218156

str_impl_w_impl.hH A D06-Jul-20202.5 KiB9253

streambuffer.hH A D06-Jul-20206 KiB233194

subsumeimplicit.cppH A D06-Jul-20206.4 KiB229172

subsumeimplicit.hH A D06-Jul-20202.7 KiB9962

subsumestrengthen.cppH A D06-Jul-202028.6 KiB1,036798

subsumestrengthen.hH A D06-Jul-20204.7 KiB176121

time_mem.hH A D06-Jul-20204.1 KiB14084

toplevelgauss.cppH A D06-Jul-202013.8 KiB449325

toplevelgauss.hH A D06-Jul-20203 KiB10457

toplevelgaussabst.hH A D06-Jul-20201.6 KiB5324

touchlist.hH A D06-Jul-20204.2 KiB184127

trim.hH A D06-Jul-20201.4 KiB4518

vardata.hH A D06-Jul-20203.7 KiB11166

vardistgen.cppH A D06-Jul-20204.9 KiB142105

vardistgen.hH A D06-Jul-20201.9 KiB7137

varreplacer.cppH A D06-Jul-202034.7 KiB1,3291,066

varreplacer.hH A D06-Jul-20209.5 KiB319233

varupdatehelper.hH A D06-Jul-20204.3 KiB14397

vmtf.hH A D06-Jul-20203 KiB9347

walksat.cppH A D06-Jul-202027.5 KiB871672

walksat.hH A D06-Jul-20207.2 KiB197104

watchalgos.hH A D06-Jul-20204.3 KiB174124

watcharray.hH A D06-Jul-20204.6 KiB195137

watcharray_handrolled.cppH A D06-Jul-20204.1 KiB12375

watcharray_handrolled.hH A D06-Jul-202012.8 KiB552422

watched.hH A D06-Jul-20208 KiB324209

watched_backup.hH A D06-Jul-20208.4 KiB348232

xor.hH A D06-Jul-20204.4 KiB198140

xorfinder.cppH A D06-Jul-202029.7 KiB1,015812

xorfinder.hH A D06-Jul-202010.3 KiB380258

yals.cH A D06-Jul-202093.5 KiB3,3132,804

yals.hH A D06-Jul-20203.2 KiB9535

yalsat.cppH A D06-Jul-20206.6 KiB238180

yalsat.hH A D06-Jul-20202 KiB6729

yils.hH A D06-Jul-20202.6 KiB7325