├── README.md ├── SAT-features-competition2024 ├── BinSolver.cc ├── BinSolver.h ├── BuildSolvers.cc ├── Makefile ├── SATinstance.cc ├── SATinstance.h ├── VARSAT │ ├── Alg.h │ ├── BasicHeap.h │ ├── BoxedVec.h │ ├── CVS │ │ ├── Entries │ │ ├── Entries.Extra │ │ ├── Repository │ │ ├── Root │ │ └── Template │ ├── Heap.h │ ├── Main.C │ ├── Main.h │ ├── Main.o │ ├── Makefile │ ├── Map.h │ ├── Queue.h │ ├── Solver.C │ ├── Solver.h │ ├── Solver.o │ ├── SolverTypes.h │ ├── Sort.h │ ├── Vec.h │ ├── depend.mk │ ├── libvarsat.a │ ├── mtl │ │ ├── Alg.h │ │ ├── BasicHeap.h │ │ ├── BoxedVec.h │ │ ├── CVS │ │ │ ├── Entries │ │ │ ├── Entries.Extra │ │ │ ├── Repository │ │ │ ├── Root │ │ │ └── Template │ │ ├── Heap.h │ │ ├── Map.h │ │ ├── Queue.h │ │ ├── Sort.h │ │ ├── Vec.h │ │ ├── pstdint.h │ │ ├── template.mk │ │ ├── zlib-1.2.3.tar │ │ └── zlib-1.2.3 │ │ │ ├── CVS │ │ │ ├── Entries │ │ │ ├── Entries.Extra │ │ │ ├── Repository │ │ │ ├── Root │ │ │ └── Template │ │ │ ├── ChangeLog │ │ │ ├── FAQ │ │ │ ├── INDEX │ │ │ ├── Makefile │ │ │ ├── Makefile.in │ │ │ ├── README │ │ │ ├── adler32.c │ │ │ ├── algorithm.txt │ │ │ ├── amiga │ │ │ ├── CVS │ │ │ │ ├── Entries │ │ │ │ ├── Entries.Extra │ │ │ │ ├── Repository │ │ │ │ ├── Root │ │ │ │ └── Template │ │ │ ├── Makefile.pup │ │ │ └── Makefile.sas │ │ │ ├── as400 │ │ │ ├── CVS │ │ │ │ ├── Entries │ │ │ │ ├── Entries.Extra │ │ │ │ ├── Repository │ │ │ │ ├── Root │ │ │ │ └── Template │ │ │ ├── bndsrc │ │ │ ├── compile.clp │ │ │ ├── readme.txt │ │ │ └── zlib.inc │ │ │ ├── compress.c │ │ │ ├── configure │ │ │ ├── contrib │ │ │ ├── CVS │ │ │ │ ├── Entries │ │ │ │ ├── Entries.Extra │ │ │ │ ├── Repository │ │ │ │ ├── Root │ │ │ │ └── Template │ │ │ ├── README.contrib │ │ │ ├── ada │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── buffer_demo.adb │ │ │ │ ├── mtest.adb │ │ │ │ ├── read.adb │ │ │ │ ├── readme.txt │ │ │ │ ├── test.adb │ │ │ │ ├── zlib-streams.adb │ │ │ │ ├── zlib-streams.ads │ │ │ │ ├── zlib-thin.adb │ │ │ │ ├── zlib-thin.ads │ │ │ │ ├── zlib.adb │ │ │ │ ├── zlib.ads │ │ │ │ └── zlib.gpr │ │ │ ├── asm586 │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── README.586 │ │ │ │ └── match.S │ │ │ ├── asm686 │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── README.686 │ │ │ │ └── match.S │ │ │ ├── blast │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── Makefile │ │ │ │ ├── README │ │ │ │ ├── blast.c │ │ │ │ ├── blast.h │ │ │ │ ├── test.pk │ │ │ │ └── test.txt │ │ │ ├── delphi │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── ZLib.pas │ │ │ │ ├── ZLibConst.pas │ │ │ │ ├── readme.txt │ │ │ │ └── zlibd32.mak │ │ │ ├── dotzlib │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── DotZLib.build │ │ │ │ ├── DotZLib.chm │ │ │ │ ├── DotZLib.sln │ │ │ │ ├── DotZLib │ │ │ │ │ ├── AssemblyInfo.cs │ │ │ │ │ ├── CVS │ │ │ │ │ │ ├── Entries │ │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ │ ├── Repository │ │ │ │ │ │ ├── Root │ │ │ │ │ │ └── Template │ │ │ │ │ ├── ChecksumImpl.cs │ │ │ │ │ ├── CircularBuffer.cs │ │ │ │ │ ├── CodecBase.cs │ │ │ │ │ ├── Deflater.cs │ │ │ │ │ ├── DotZLib.cs │ │ │ │ │ ├── DotZLib.csproj │ │ │ │ │ ├── GZipStream.cs │ │ │ │ │ ├── Inflater.cs │ │ │ │ │ └── UnitTests.cs │ │ │ │ ├── LICENSE_1_0.txt │ │ │ │ └── readme.txt │ │ │ ├── infback9 │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── README │ │ │ │ ├── infback9.c │ │ │ │ ├── infback9.h │ │ │ │ ├── inffix9.h │ │ │ │ ├── inflate9.h │ │ │ │ ├── inftree9.c │ │ │ │ └── inftree9.h │ │ │ ├── inflate86 │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── inffas86.c │ │ │ │ └── inffast.S │ │ │ ├── iostream │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── test.cpp │ │ │ │ ├── zfstream.cpp │ │ │ │ └── zfstream.h │ │ │ ├── iostream2 │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── zstream.h │ │ │ │ └── zstream_test.cpp │ │ │ ├── iostream3 │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── README │ │ │ │ ├── TODO │ │ │ │ ├── test.cc │ │ │ │ ├── zfstream.cc │ │ │ │ └── zfstream.h │ │ │ ├── masm686 │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ └── match.asm │ │ │ ├── masmx64 │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── bld_ml64.bat │ │ │ │ ├── gvmat64.asm │ │ │ │ ├── gvmat64.obj │ │ │ │ ├── inffas8664.c │ │ │ │ ├── inffasx64.asm │ │ │ │ ├── inffasx64.obj │ │ │ │ └── readme.txt │ │ │ ├── masmx86 │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── bld_ml32.bat │ │ │ │ ├── gvmat32.asm │ │ │ │ ├── gvmat32.obj │ │ │ │ ├── gvmat32c.c │ │ │ │ ├── inffas32.asm │ │ │ │ ├── inffas32.obj │ │ │ │ ├── mkasm.bat │ │ │ │ └── readme.txt │ │ │ ├── minizip │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── ChangeLogUnzip │ │ │ │ ├── Makefile │ │ │ │ ├── crypt.h │ │ │ │ ├── ioapi.c │ │ │ │ ├── ioapi.h │ │ │ │ ├── iowin32.c │ │ │ │ ├── iowin32.h │ │ │ │ ├── miniunz.c │ │ │ │ ├── minizip.c │ │ │ │ ├── mztools.c │ │ │ │ ├── mztools.h │ │ │ │ ├── unzip.c │ │ │ │ ├── unzip.h │ │ │ │ ├── zip.c │ │ │ │ └── zip.h │ │ │ ├── pascal │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── example.pas │ │ │ │ ├── readme.txt │ │ │ │ ├── zlibd32.mak │ │ │ │ └── zlibpas.pas │ │ │ ├── puff │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── Makefile │ │ │ │ ├── README │ │ │ │ ├── puff.c │ │ │ │ ├── puff.h │ │ │ │ └── zeros.raw │ │ │ ├── testzlib │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── testzlib.c │ │ │ │ └── testzlib.txt │ │ │ ├── untgz │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── Makefile │ │ │ │ ├── Makefile.msc │ │ │ │ └── untgz.c │ │ │ └── vstudio │ │ │ │ ├── CVS │ │ │ │ ├── Entries │ │ │ │ ├── Entries.Extra │ │ │ │ ├── Repository │ │ │ │ ├── Root │ │ │ │ └── Template │ │ │ │ ├── readme.txt │ │ │ │ ├── vc7 │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── miniunz.vcproj │ │ │ │ ├── minizip.vcproj │ │ │ │ ├── testzlib.vcproj │ │ │ │ ├── zlib.rc │ │ │ │ ├── zlibstat.vcproj │ │ │ │ ├── zlibvc.def │ │ │ │ ├── zlibvc.sln │ │ │ │ └── zlibvc.vcproj │ │ │ │ └── vc8 │ │ │ │ ├── CVS │ │ │ │ ├── Entries │ │ │ │ ├── Entries.Extra │ │ │ │ ├── Repository │ │ │ │ ├── Root │ │ │ │ └── Template │ │ │ │ ├── miniunz.vcproj │ │ │ │ ├── minizip.vcproj │ │ │ │ ├── testzlib.vcproj │ │ │ │ ├── testzlibdll.vcproj │ │ │ │ ├── zlib.rc │ │ │ │ ├── zlibstat.vcproj │ │ │ │ ├── zlibvc.def │ │ │ │ ├── zlibvc.sln │ │ │ │ └── zlibvc.vcproj │ │ │ ├── crc32.c │ │ │ ├── crc32.h │ │ │ ├── deflate.c │ │ │ ├── deflate.h │ │ │ ├── example.c │ │ │ ├── examples │ │ │ ├── CVS │ │ │ │ ├── Entries │ │ │ │ ├── Entries.Extra │ │ │ │ ├── Repository │ │ │ │ ├── Root │ │ │ │ └── Template │ │ │ ├── README.examples │ │ │ ├── fitblk.c │ │ │ ├── gun.c │ │ │ ├── gzappend.c │ │ │ ├── gzjoin.c │ │ │ ├── gzlog.c │ │ │ ├── gzlog.h │ │ │ ├── zlib_how.html │ │ │ ├── zpipe.c │ │ │ └── zran.c │ │ │ ├── gzio.c │ │ │ ├── infback.c │ │ │ ├── inffast.c │ │ │ ├── inffast.h │ │ │ ├── inffixed.h │ │ │ ├── inflate.c │ │ │ ├── inflate.h │ │ │ ├── inftrees.c │ │ │ ├── inftrees.h │ │ │ ├── make_vms.com │ │ │ ├── minigzip.c │ │ │ ├── msdos │ │ │ ├── CVS │ │ │ │ ├── Entries │ │ │ │ ├── Entries.Extra │ │ │ │ ├── Repository │ │ │ │ ├── Root │ │ │ │ └── Template │ │ │ ├── Makefile.bor │ │ │ ├── Makefile.dj2 │ │ │ ├── Makefile.emx │ │ │ ├── Makefile.msc │ │ │ └── Makefile.tc │ │ │ ├── old │ │ │ ├── CVS │ │ │ │ ├── Entries │ │ │ │ ├── Entries.Extra │ │ │ │ ├── Repository │ │ │ │ ├── Root │ │ │ │ └── Template │ │ │ ├── Makefile.riscos │ │ │ ├── README │ │ │ ├── descrip.mms │ │ │ ├── os2 │ │ │ │ ├── CVS │ │ │ │ │ ├── Entries │ │ │ │ │ ├── Entries.Extra │ │ │ │ │ ├── Repository │ │ │ │ │ ├── Root │ │ │ │ │ └── Template │ │ │ │ ├── Makefile.os2 │ │ │ │ └── zlib.def │ │ │ ├── visual-basic.txt │ │ │ └── zlib.html │ │ │ ├── projects │ │ │ ├── CVS │ │ │ │ ├── Entries │ │ │ │ ├── Entries.Extra │ │ │ │ ├── Repository │ │ │ │ ├── Root │ │ │ │ └── Template │ │ │ ├── README.projects │ │ │ └── visualc6 │ │ │ │ ├── CVS │ │ │ │ ├── Entries │ │ │ │ ├── Entries.Extra │ │ │ │ ├── Repository │ │ │ │ ├── Root │ │ │ │ └── Template │ │ │ │ ├── README.txt │ │ │ │ ├── example.dsp │ │ │ │ ├── minigzip.dsp │ │ │ │ ├── zlib.dsp │ │ │ │ └── zlib.dsw │ │ │ ├── qnx │ │ │ ├── CVS │ │ │ │ ├── Entries │ │ │ │ ├── Entries.Extra │ │ │ │ ├── Repository │ │ │ │ ├── Root │ │ │ │ └── Template │ │ │ └── package.qpg │ │ │ ├── trees.c │ │ │ ├── trees.h │ │ │ ├── uncompr.c │ │ │ ├── win32 │ │ │ ├── CVS │ │ │ │ ├── Entries │ │ │ │ ├── Entries.Extra │ │ │ │ ├── Repository │ │ │ │ ├── Root │ │ │ │ └── Template │ │ │ ├── DLL_FAQ.txt │ │ │ ├── Makefile.bor │ │ │ ├── Makefile.emx │ │ │ ├── Makefile.gcc │ │ │ ├── Makefile.msc │ │ │ ├── VisualC.txt │ │ │ ├── zlib.def │ │ │ └── zlib1.rc │ │ │ ├── zconf.h │ │ │ ├── zconf.in.h │ │ │ ├── zlib.3 │ │ │ ├── zlib.h │ │ │ ├── zutil.c │ │ │ └── zutil.h │ └── pstdint.h ├── features ├── features.cc ├── featuresSAT12 ├── global.h ├── liblpk5.a ├── lp_solve_5.0 │ ├── CITATIONS.txt │ ├── colamd │ │ ├── colamd.c │ │ ├── colamd.h │ │ └── readme.txt │ ├── commonlib.c │ ├── commonlib.h │ ├── declare.h │ ├── demo │ │ ├── ccc │ │ ├── cgcc.bat │ │ ├── cvc6.bat │ │ ├── demo.c │ │ ├── demo.sln │ │ ├── demo.suo │ │ ├── demo.vcproj │ │ ├── demolib.sln │ │ ├── demolib.suo │ │ ├── demolib.vcproj │ │ └── readme.txt │ ├── distrib.txt │ ├── fortify.c │ ├── fortify.h │ ├── liblpk5.a │ ├── lp_BFP.h │ ├── lp_BFP1.c │ ├── lp_BFP2.c │ ├── lp_Hash.c │ ├── lp_Hash.h │ ├── lp_LUMOD.c │ ├── lp_LUMOD.h │ ├── lp_LUSOL.c │ ├── lp_LUSOL.h │ ├── lp_MDO.c │ ├── lp_MDO.h │ ├── lp_MPS.c │ ├── lp_MPS.h │ ├── lp_MathProg.c │ ├── lp_MathProg.h │ ├── lp_SOS.c │ ├── lp_SOS.h │ ├── lp_XLI.h │ ├── lp_XLI1.c │ ├── lp_XLI2.c │ ├── lp_crash.c │ ├── lp_crash.h │ ├── lp_etaPFI.c │ ├── lp_etaPFI.h │ ├── lp_fortify.h │ ├── lp_glpkLU.c │ ├── lp_glpkLU.h │ ├── lp_lib.c │ ├── lp_lib.h │ ├── lp_matrix.c │ ├── lp_matrix.h │ ├── lp_mipbb.c │ ├── lp_mipbb.h │ ├── lp_presolve.c │ ├── lp_presolve.h │ ├── lp_price.c │ ├── lp_price.h │ ├── lp_pricePSE.c │ ├── lp_pricePSE.h │ ├── lp_report.c │ ├── lp_report.h │ ├── lp_rlp.bat │ ├── lp_rlp.c │ ├── lp_rlp.h │ ├── lp_rlp.l │ ├── lp_rlp.y │ ├── lp_rlpt.bat │ ├── lp_rlpt.c │ ├── lp_rlpt.h │ ├── lp_rlpt.l │ ├── lp_rlpt.y │ ├── lp_scale.c │ ├── lp_scale.h │ ├── lp_simplex.c │ ├── lp_simplex.h │ ├── lp_solve │ │ ├── ccc │ │ ├── cgcc.bat │ │ ├── cvc6.bat │ │ ├── lp_solve │ │ ├── lp_solve.c │ │ ├── lp_solve.sln │ │ ├── lp_solve.suo │ │ ├── lp_solve.vcproj │ │ └── readme.txt │ ├── lp_solveDLL.c │ ├── lp_solveDLL.h │ ├── lp_types.h │ ├── lp_utils.c │ ├── lp_utils.h │ ├── lp_wlp.c │ ├── lp_wlp.h │ ├── lp_wlpt.c │ ├── lpkit.h │ ├── lpsolve.h │ ├── lpsolve5 │ │ ├── ccc │ │ ├── cgcc.bat │ │ ├── cvc6.bat │ │ ├── dll.sln │ │ ├── dll.suo │ │ ├── dll.vcproj │ │ ├── lib.sln │ │ ├── lib.suo │ │ ├── lib.vcproj │ │ ├── liblpk5.so │ │ ├── lp_solve.def │ │ ├── lpsolve.rc │ │ ├── readme.txt │ │ └── resource.h │ ├── myblas.c │ ├── myblas.h │ ├── patchlevel.h │ ├── readme.txt │ ├── ufortify.h │ ├── yacc_read.c │ └── yacc_read.h ├── model.h ├── obj │ ├── BinSolver.o │ ├── BuildSolvers.o │ ├── CVS │ │ ├── Entries │ │ ├── Entries.Extra │ │ ├── Repository │ │ ├── Root │ │ └── Template │ ├── Makefile │ ├── Makefile~ │ ├── SATinstance.o │ ├── features.o │ └── stopwatch.o ├── satzilla_Solvers │ ├── best[mean+cv],firstlmstep[mean+median+cv+q10+q90],bestavgimpr[mean+cv],firstlmratio[mean+cv],estacl │ ├── cadical2023 │ ├── kissatexe │ ├── oo │ ├── out │ ├── satelite │ ├── sbva │ ├── sol │ ├── ubcsat2006 │ ├── ubcsatold │ ├── yalsat-03v.zip │ ├── yalsat-03v │ │ ├── FILES │ │ ├── LICENSE │ │ ├── README │ │ ├── VERSION │ │ ├── cflags.h │ │ ├── config.c │ │ ├── config.h │ │ ├── config.o │ │ ├── configure.sh │ │ ├── libyals.a │ │ ├── main.c │ │ ├── main.o │ │ ├── makefile │ │ ├── makefile.in │ │ ├── mkconfig.sh │ │ ├── pain.o │ │ ├── palsat │ │ ├── yals.c │ │ ├── yals.h │ │ ├── yals.o │ │ ├── yalsat │ │ └── yils.h │ ├── zchaff07 │ └── zchaff_rand ├── stopwatch.cpp └── stopwatch.h ├── aslib ├── SAT2022-MAIN-OLD │ ├── algorithm_runs.arff │ ├── cv.arff │ ├── description.txt │ ├── feature_costs.arff │ ├── feature_runstatus.arff │ └── feature_values.arff ├── SAT2022-MAIN │ ├── algorithm_runs.arff │ ├── cv.arff │ ├── description.txt │ ├── feature_costs.arff │ ├── feature_runstatus.arff │ └── feature_values.arff ├── SAT2023-MAIN-OLD │ ├── algorithm_runs.arff │ ├── cv.arff │ ├── description copy.txt │ ├── description.txt │ ├── feature_costs.arff │ ├── feature_runstatus.arff │ └── feature_values.arff └── SAT2023-MAIN │ ├── algorithm_runs.arff │ ├── cv.arff │ ├── description.txt │ ├── feature_costs.arff │ ├── feature_runstatus.arff │ └── feature_values.arff ├── rt_pred.py └── sat_pred.py /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/README.md -------------------------------------------------------------------------------- /SAT-features-competition2024/BinSolver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/BinSolver.cc -------------------------------------------------------------------------------- /SAT-features-competition2024/BinSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/BinSolver.h -------------------------------------------------------------------------------- /SAT-features-competition2024/BuildSolvers.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/BuildSolvers.cc -------------------------------------------------------------------------------- /SAT-features-competition2024/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/Makefile -------------------------------------------------------------------------------- /SAT-features-competition2024/SATinstance.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/SATinstance.cc -------------------------------------------------------------------------------- /SAT-features-competition2024/SATinstance.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/SATinstance.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Alg.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/BasicHeap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/BasicHeap.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/BoxedVec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/BoxedVec.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Heap.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Main.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Main.C -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Main.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Main.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Main.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Main.o -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Makefile -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Map.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Queue.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Solver.C: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Solver.C -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Solver.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Solver.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Solver.o -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/SolverTypes.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Sort.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/Vec.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/depend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/depend.mk -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/libvarsat.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/libvarsat.a -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/Alg.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/BasicHeap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/BasicHeap.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/BoxedVec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/BoxedVec.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/Heap.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/Map.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/Queue.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/Sort.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/Vec.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/pstdint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/pstdint.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/template.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/template.mk -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3.tar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3.tar -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/ChangeLog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/ChangeLog -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/FAQ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/FAQ -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/INDEX: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/INDEX -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/Makefile -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/Makefile.in -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/README -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/adler32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/adler32.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/algorithm.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/algorithm.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/amiga/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/amiga/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/amiga/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/amiga/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/amiga/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/amiga 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/amiga/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/amiga/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/amiga/Makefile.pup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/amiga/Makefile.pup -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/amiga/Makefile.sas: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/amiga/Makefile.sas -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/as400 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/bndsrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/bndsrc -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/compile.clp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/compile.clp -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/readme.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/zlib.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/as400/zlib.inc -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/compress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/compress.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/configure -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/README.contrib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/README.contrib -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/ada 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/buffer_demo.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/buffer_demo.adb -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/mtest.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/mtest.adb -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/read.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/read.adb -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/readme.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/test.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/test.adb -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib-streams.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib-streams.adb -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib-streams.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib-streams.ads -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib-thin.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib-thin.adb -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib-thin.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib-thin.ads -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib.adb -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib.ads -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib.gpr -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm586/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm586/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm586/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm586/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm586/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/asm586 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm586/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm586/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm586/README.586: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm586/README.586 -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm586/match.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm586/match.S -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm686/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm686/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm686/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm686/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm686/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/asm686 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm686/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm686/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm686/README.686: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm686/README.686 -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm686/match.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/asm686/match.S -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/blast 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/Makefile -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/README -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/blast.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/blast.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/blast.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/blast.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/test.pk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/test.pk -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/blast/test.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/delphi 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/ZLib.pas: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/ZLib.pas -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/ZLibConst.pas: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/ZLibConst.pas -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/readme.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/zlibd32.mak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/delphi/zlibd32.mak -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib.build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib.build -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib.chm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib.chm -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib.sln -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/AssemblyInfo.cs -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/ChecksumImpl.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/ChecksumImpl.cs -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CircularBuffer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CircularBuffer.cs -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CodecBase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CodecBase.cs -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/Deflater.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/Deflater.cs -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/DotZLib.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/DotZLib.cs -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/DotZLib.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/DotZLib.csproj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/GZipStream.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/GZipStream.cs -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/Inflater.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/Inflater.cs -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/UnitTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/UnitTests.cs -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/LICENSE_1_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/LICENSE_1_0.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/readme.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/infback9 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/README -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/infback9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/infback9.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/infback9.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/infback9.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/inffix9.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/inffix9.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/inflate9.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/inflate9.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/inftree9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/inftree9.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/inftree9.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/infback9/inftree9.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/inflate86 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/inffas86.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/inffas86.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/inffast.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/inffast.S -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/iostream 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/test.cpp -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/zfstream.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/zfstream.cpp -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/zfstream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream/zfstream.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/iostream2 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/zstream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/zstream.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/zstream_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/zstream_test.cpp -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/iostream3 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/README -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/TODO -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/test.cc -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/zfstream.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/zfstream.cc -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/zfstream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/zfstream.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masm686/CVS/Entries: -------------------------------------------------------------------------------- 1 | /match.asm/1.1/Tue Nov 25 21:00:46 2008// 2 | D 3 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masm686/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masm686/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masm686/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/masm686 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masm686/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masm686/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masm686/match.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masm686/match.asm -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/masmx64 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/bld_ml64.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/bld_ml64.bat -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/gvmat64.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/gvmat64.asm -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/gvmat64.obj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/gvmat64.obj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/inffas8664.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/inffas8664.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/inffasx64.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/inffasx64.asm -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/inffasx64.obj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/inffasx64.obj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/readme.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/masmx86 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/bld_ml32.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/bld_ml32.bat -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/gvmat32.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/gvmat32.asm -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/gvmat32.obj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/gvmat32.obj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/gvmat32c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/gvmat32c.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/inffas32.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/inffas32.asm -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/inffas32.obj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/inffas32.obj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/mkasm.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/mkasm.bat -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/readme.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/minizip 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/ChangeLogUnzip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/ChangeLogUnzip -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/Makefile -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/crypt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/crypt.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/ioapi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/ioapi.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/ioapi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/ioapi.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/iowin32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/iowin32.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/iowin32.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/iowin32.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/miniunz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/miniunz.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/minizip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/minizip.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/mztools.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/mztools.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/mztools.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/mztools.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/unzip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/unzip.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/unzip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/unzip.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/zip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/zip.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/zip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/minizip/zip.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/pascal 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/example.pas: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/example.pas -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/readme.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/zlibd32.mak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/zlibd32.mak -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/zlibpas.pas: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/pascal/zlibpas.pas -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/puff 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/Makefile -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/README -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/puff.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/puff.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/puff.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/puff.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/zeros.raw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/puff/zeros.raw -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/testzlib 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/testzlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/testzlib.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/testzlib.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/testzlib.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/untgz 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/Makefile -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/Makefile.msc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/Makefile.msc -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/untgz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/untgz/untgz.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/vstudio 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/readme.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/miniunz.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/miniunz.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/minizip.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/minizip.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/testzlib.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/testzlib.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlib.rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlib.rc -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlibstat.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlibstat.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlibvc.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlibvc.def -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlibvc.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlibvc.sln -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlibvc.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlibvc.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/miniunz.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/miniunz.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/minizip.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/minizip.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/testzlib.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/testzlib.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/testzlibdll.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/testzlibdll.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlib.rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlib.rc -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlibstat.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlibstat.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlibvc.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlibvc.def -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlibvc.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlibvc.sln -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlibvc.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlibvc.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/crc32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/crc32.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/crc32.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/crc32.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/deflate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/deflate.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/deflate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/deflate.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/example.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/example.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/examples 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/README.examples: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/README.examples -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/fitblk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/fitblk.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/gun.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/gun.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/gzappend.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/gzappend.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/gzjoin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/gzjoin.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/gzlog.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/gzlog.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/gzlog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/gzlog.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/zlib_how.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/zlib_how.html -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/zpipe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/zpipe.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/zran.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/examples/zran.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/gzio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/gzio.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/infback.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/infback.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inffast.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inffast.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inffast.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inffast.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inffixed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inffixed.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inflate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inflate.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inflate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inflate.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inftrees.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inftrees.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inftrees.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/inftrees.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/make_vms.com: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/make_vms.com -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/minigzip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/minigzip.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/msdos 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.bor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.bor -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.dj2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.dj2 -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.emx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.emx -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.msc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.msc -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.tc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.tc -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/old 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/Makefile.riscos: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/Makefile.riscos -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/README -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/descrip.mms: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/descrip.mms -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/os2/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/os2/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/os2/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/os2/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/os2/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/old/os2 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/os2/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/os2/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/os2/Makefile.os2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/os2/Makefile.os2 -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/os2/zlib.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/os2/zlib.def -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/visual-basic.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/visual-basic.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/zlib.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/old/zlib.html -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/projects 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/README.projects: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/README.projects -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/projects/visualc6 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/README.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/example.dsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/example.dsp -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/minigzip.dsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/minigzip.dsp -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/zlib.dsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/zlib.dsp -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/zlib.dsw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/projects/visualc6/zlib.dsw -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/qnx/CVS/Entries: -------------------------------------------------------------------------------- 1 | /package.qpg/1.1/Tue Nov 25 21:00:46 2008// 2 | D 3 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/qnx/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/qnx/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/qnx/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/qnx 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/qnx/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/qnx/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/qnx/package.qpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/qnx/package.qpg -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/trees.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/trees.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/trees.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/trees.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/uncompr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/uncompr.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/CVS/Entries: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/CVS/Entries -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/VARSAT/mtl/zlib-1.2.3/win32 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/DLL_FAQ.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/DLL_FAQ.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/Makefile.bor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/Makefile.bor -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/Makefile.emx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/Makefile.emx -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/Makefile.gcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/Makefile.gcc -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/Makefile.msc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/Makefile.msc -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/VisualC.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/VisualC.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/zlib.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/zlib.def -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/zlib1.rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/win32/zlib1.rc -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/zconf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/zconf.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/zconf.in.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/zconf.in.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/zlib.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/zlib.3 -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/zlib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/zlib.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/zutil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/zutil.c -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/zutil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/mtl/zlib-1.2.3/zutil.h -------------------------------------------------------------------------------- /SAT-features-competition2024/VARSAT/pstdint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/VARSAT/pstdint.h -------------------------------------------------------------------------------- /SAT-features-competition2024/features: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/features -------------------------------------------------------------------------------- /SAT-features-competition2024/features.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/features.cc -------------------------------------------------------------------------------- /SAT-features-competition2024/featuresSAT12: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/featuresSAT12 -------------------------------------------------------------------------------- /SAT-features-competition2024/global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/global.h -------------------------------------------------------------------------------- /SAT-features-competition2024/liblpk5.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/liblpk5.a -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/CITATIONS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/CITATIONS.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/colamd/colamd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/colamd/colamd.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/colamd/colamd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/colamd/colamd.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/colamd/readme.txt: -------------------------------------------------------------------------------- 1 | This directory contains extra files needed by lp_solve 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/commonlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/commonlib.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/commonlib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/commonlib.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/declare.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/declare.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/demo/ccc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/demo/ccc -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/demo/cgcc.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/demo/cgcc.bat -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/demo/cvc6.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/demo/cvc6.bat -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/demo/demo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/demo/demo.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/demo/demo.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/demo/demo.sln -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/demo/demo.suo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/demo/demo.suo -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/demo/demo.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/demo/demo.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/demo/demolib.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/demo/demolib.sln -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/demo/demolib.suo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/demo/demolib.suo -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/demo/demolib.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/demo/demolib.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/demo/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/demo/readme.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/distrib.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/distrib.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/fortify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/fortify.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/fortify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/fortify.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/liblpk5.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/liblpk5.a -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_BFP.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_BFP.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_BFP1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_BFP1.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_BFP2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_BFP2.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_Hash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_Hash.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_Hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_Hash.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_LUMOD.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_LUMOD.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_LUMOD.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_LUMOD.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_LUSOL.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_LUSOL.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_LUSOL.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_LUSOL.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_MDO.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_MDO.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_MDO.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_MDO.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_MPS.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_MPS.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_MPS.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_MPS.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_MathProg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_MathProg.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_MathProg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_MathProg.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_SOS.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_SOS.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_SOS.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_SOS.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_XLI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_XLI.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_XLI1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_XLI1.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_XLI2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_XLI2.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_crash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_crash.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_crash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_crash.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_etaPFI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_etaPFI.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_etaPFI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_etaPFI.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_fortify.h: -------------------------------------------------------------------------------- 1 | #include "fortify.h" 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_glpkLU.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_glpkLU.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_glpkLU.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_glpkLU.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_lib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_lib.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_lib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_lib.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_matrix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_matrix.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_matrix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_matrix.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_mipbb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_mipbb.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_mipbb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_mipbb.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_presolve.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_presolve.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_presolve.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_presolve.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_price.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_price.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_price.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_price.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_pricePSE.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_pricePSE.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_pricePSE.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_pricePSE.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_report.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_report.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_report.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_report.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_rlp.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_rlp.bat -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_rlp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_rlp.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_rlp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_rlp.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_rlp.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_rlp.l -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_rlp.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_rlp.y -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_rlpt.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_rlpt.bat -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_rlpt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_rlpt.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_rlpt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_rlpt.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_rlpt.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_rlpt.l -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_rlpt.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_rlpt.y -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_scale.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_scale.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_scale.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_scale.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_simplex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_simplex.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_simplex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_simplex.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_solve/ccc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_solve/ccc -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_solve/cgcc.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_solve/cgcc.bat -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_solve/cvc6.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_solve/cvc6.bat -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_solve/lp_solve: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_solve/lp_solve -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_solve/lp_solve.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_solve/lp_solve.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_solve/lp_solve.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_solve/lp_solve.sln -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_solve/lp_solve.suo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_solve/lp_solve.suo -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_solve/lp_solve.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_solve/lp_solve.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_solve/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_solve/readme.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_solveDLL.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_solveDLL.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_solveDLL.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_solveDLL.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_types.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_utils.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_utils.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_wlp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_wlp.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_wlp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_wlp.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lp_wlpt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lp_wlpt.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpkit.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpkit.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/ccc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/ccc -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/cgcc.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/cgcc.bat -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/cvc6.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/cvc6.bat -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/dll.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/dll.sln -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/dll.suo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/dll.suo -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/dll.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/dll.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/lib.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/lib.sln -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/lib.suo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/lib.suo -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/lib.vcproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/lib.vcproj -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/liblpk5.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/liblpk5.so -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/lp_solve.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/lp_solve.def -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/lpsolve.rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/lpsolve.rc -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/readme.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/lpsolve5/resource.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/lpsolve5/resource.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/myblas.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/myblas.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/myblas.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/myblas.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/patchlevel.h: -------------------------------------------------------------------------------- 1 | 2 | #define PATCHLEVEL "5.0" 3 | 4 | -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/readme.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/readme.txt -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/ufortify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/ufortify.h -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/yacc_read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/yacc_read.c -------------------------------------------------------------------------------- /SAT-features-competition2024/lp_solve_5.0/yacc_read.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/lp_solve_5.0/yacc_read.h -------------------------------------------------------------------------------- /SAT-features-competition2024/model.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/model.h -------------------------------------------------------------------------------- /SAT-features-competition2024/obj/BinSolver.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/obj/BinSolver.o -------------------------------------------------------------------------------- /SAT-features-competition2024/obj/BuildSolvers.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/obj/BuildSolvers.o -------------------------------------------------------------------------------- /SAT-features-competition2024/obj/CVS/Entries: -------------------------------------------------------------------------------- 1 | /Makefile/1.2/Wed Dec 24 00:54:48 2008// 2 | D 3 | -------------------------------------------------------------------------------- /SAT-features-competition2024/obj/CVS/Entries.Extra: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/obj/CVS/Entries.Extra -------------------------------------------------------------------------------- /SAT-features-competition2024/obj/CVS/Repository: -------------------------------------------------------------------------------- 1 | SAT-features/obj 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/obj/CVS/Root: -------------------------------------------------------------------------------- 1 | :ssh:xulin730@okanagan.cs.ubc.ca:22/ai/kevinlb/cvs 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/obj/CVS/Template: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SAT-features-competition2024/obj/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/obj/Makefile -------------------------------------------------------------------------------- /SAT-features-competition2024/obj/Makefile~: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/obj/Makefile~ -------------------------------------------------------------------------------- /SAT-features-competition2024/obj/SATinstance.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/obj/SATinstance.o -------------------------------------------------------------------------------- /SAT-features-competition2024/obj/features.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/obj/features.o -------------------------------------------------------------------------------- /SAT-features-competition2024/obj/stopwatch.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/obj/stopwatch.o -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/best[mean+cv],firstlmstep[mean+median+cv+q10+q90],bestavgimpr[mean+cv],firstlmratio[mean+cv],estacl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/best[mean+cv],firstlmstep[mean+median+cv+q10+q90],bestavgimpr[mean+cv],firstlmratio[mean+cv],estacl -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/cadical2023: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/cadical2023 -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/kissatexe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/kissatexe -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/oo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/oo -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/out -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/satelite: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/satelite -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/sbva: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/sbva -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/sol -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/ubcsat2006: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/ubcsat2006 -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/ubcsatold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/ubcsatold -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v.zip -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/FILES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/FILES -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/LICENSE -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/README -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/VERSION: -------------------------------------------------------------------------------- 1 | 03v 2 | -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/cflags.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/cflags.h -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/config.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/config.c -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/config.h -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/config.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/config.o -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/configure.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/configure.sh -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/libyals.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/libyals.a -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/main.c -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/main.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/main.o -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/makefile -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/makefile.in -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/mkconfig.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/mkconfig.sh -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/pain.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/pain.o -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/palsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/palsat -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/yals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/yals.c -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/yals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/yals.h -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/yals.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/yals.o -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/yalsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/yalsat -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/yalsat-03v/yils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/yalsat-03v/yils.h -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/zchaff07: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/zchaff07 -------------------------------------------------------------------------------- /SAT-features-competition2024/satzilla_Solvers/zchaff_rand: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/satzilla_Solvers/zchaff_rand -------------------------------------------------------------------------------- /SAT-features-competition2024/stopwatch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/stopwatch.cpp -------------------------------------------------------------------------------- /SAT-features-competition2024/stopwatch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/SAT-features-competition2024/stopwatch.h -------------------------------------------------------------------------------- /aslib/SAT2022-MAIN-OLD/algorithm_runs.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2022-MAIN-OLD/algorithm_runs.arff -------------------------------------------------------------------------------- /aslib/SAT2022-MAIN-OLD/cv.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2022-MAIN-OLD/cv.arff -------------------------------------------------------------------------------- /aslib/SAT2022-MAIN-OLD/description.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2022-MAIN-OLD/description.txt -------------------------------------------------------------------------------- /aslib/SAT2022-MAIN-OLD/feature_costs.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2022-MAIN-OLD/feature_costs.arff -------------------------------------------------------------------------------- /aslib/SAT2022-MAIN-OLD/feature_runstatus.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2022-MAIN-OLD/feature_runstatus.arff -------------------------------------------------------------------------------- /aslib/SAT2022-MAIN-OLD/feature_values.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2022-MAIN-OLD/feature_values.arff -------------------------------------------------------------------------------- /aslib/SAT2022-MAIN/algorithm_runs.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2022-MAIN/algorithm_runs.arff -------------------------------------------------------------------------------- /aslib/SAT2022-MAIN/cv.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2022-MAIN/cv.arff -------------------------------------------------------------------------------- /aslib/SAT2022-MAIN/description.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2022-MAIN/description.txt -------------------------------------------------------------------------------- /aslib/SAT2022-MAIN/feature_costs.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2022-MAIN/feature_costs.arff -------------------------------------------------------------------------------- /aslib/SAT2022-MAIN/feature_runstatus.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2022-MAIN/feature_runstatus.arff -------------------------------------------------------------------------------- /aslib/SAT2022-MAIN/feature_values.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2022-MAIN/feature_values.arff -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN-OLD/algorithm_runs.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN-OLD/algorithm_runs.arff -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN-OLD/cv.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN-OLD/cv.arff -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN-OLD/description copy.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN-OLD/description copy.txt -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN-OLD/description.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN-OLD/description.txt -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN-OLD/feature_costs.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN-OLD/feature_costs.arff -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN-OLD/feature_runstatus.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN-OLD/feature_runstatus.arff -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN-OLD/feature_values.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN-OLD/feature_values.arff -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN/algorithm_runs.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN/algorithm_runs.arff -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN/cv.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN/cv.arff -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN/description.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN/description.txt -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN/feature_costs.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN/feature_costs.arff -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN/feature_runstatus.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN/feature_runstatus.arff -------------------------------------------------------------------------------- /aslib/SAT2023-MAIN/feature_values.arff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/aslib/SAT2023-MAIN/feature_values.arff -------------------------------------------------------------------------------- /rt_pred.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/rt_pred.py -------------------------------------------------------------------------------- /sat_pred.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hadarshavit/revisiting_satzilla/HEAD/sat_pred.py --------------------------------------------------------------------------------