MANIFEST.in
README.md
pyproject.toml
setup.py
satzilla.egg-info/PKG-INFO
satzilla.egg-info/SOURCES.txt
satzilla.egg-info/dependency_links.txt
satzilla.egg-info/not-zip-safe
satzilla.egg-info/requires.txt
satzilla.egg-info/top_level.txt
satzilla_features/__init__.py
satzilla_features/api.py
satzilla_features/py.typed
src/BinSolver.cc
src/BinSolver.h
src/BuildSolvers.cc
src/Makefile
src/SATinstance.cc
src/SATinstance.h
src/extractor_core.cc
src/extractor_core.h
src/features.cc
src/featuresSAT12
src/global.h
src/model.h
src/satzilla_c_api.cc
src/satzilla_c_api.h
src/stopwatch.cpp
src/stopwatch.h
src/VARSAT/Alg.h
src/VARSAT/BasicHeap.h
src/VARSAT/BoxedVec.h
src/VARSAT/Heap.h
src/VARSAT/Main.C
src/VARSAT/Main.h
src/VARSAT/Makefile
src/VARSAT/Map.h
src/VARSAT/Queue.h
src/VARSAT/Solver.C
src/VARSAT/Solver.h
src/VARSAT/SolverTypes.h
src/VARSAT/Sort.h
src/VARSAT/Vec.h
src/VARSAT/depend.mk
src/VARSAT/pstdint.h
src/VARSAT/mtl/Alg.h
src/VARSAT/mtl/BasicHeap.h
src/VARSAT/mtl/BoxedVec.h
src/VARSAT/mtl/Heap.h
src/VARSAT/mtl/Map.h
src/VARSAT/mtl/Queue.h
src/VARSAT/mtl/Sort.h
src/VARSAT/mtl/Vec.h
src/VARSAT/mtl/pstdint.h
src/VARSAT/mtl/template.mk
src/VARSAT/mtl/zlib-1.2.3.tar
src/VARSAT/mtl/zlib-1.2.3/ChangeLog
src/VARSAT/mtl/zlib-1.2.3/FAQ
src/VARSAT/mtl/zlib-1.2.3/INDEX
src/VARSAT/mtl/zlib-1.2.3/Makefile
src/VARSAT/mtl/zlib-1.2.3/Makefile.in
src/VARSAT/mtl/zlib-1.2.3/README
src/VARSAT/mtl/zlib-1.2.3/adler32.c
src/VARSAT/mtl/zlib-1.2.3/algorithm.txt
src/VARSAT/mtl/zlib-1.2.3/compress.c
src/VARSAT/mtl/zlib-1.2.3/configure
src/VARSAT/mtl/zlib-1.2.3/crc32.c
src/VARSAT/mtl/zlib-1.2.3/crc32.h
src/VARSAT/mtl/zlib-1.2.3/deflate.c
src/VARSAT/mtl/zlib-1.2.3/deflate.h
src/VARSAT/mtl/zlib-1.2.3/example.c
src/VARSAT/mtl/zlib-1.2.3/gzio.c
src/VARSAT/mtl/zlib-1.2.3/infback.c
src/VARSAT/mtl/zlib-1.2.3/inffast.c
src/VARSAT/mtl/zlib-1.2.3/inffast.h
src/VARSAT/mtl/zlib-1.2.3/inffixed.h
src/VARSAT/mtl/zlib-1.2.3/inflate.c
src/VARSAT/mtl/zlib-1.2.3/inflate.h
src/VARSAT/mtl/zlib-1.2.3/inftrees.c
src/VARSAT/mtl/zlib-1.2.3/inftrees.h
src/VARSAT/mtl/zlib-1.2.3/make_vms.com
src/VARSAT/mtl/zlib-1.2.3/minigzip.c
src/VARSAT/mtl/zlib-1.2.3/trees.c
src/VARSAT/mtl/zlib-1.2.3/trees.h
src/VARSAT/mtl/zlib-1.2.3/uncompr.c
src/VARSAT/mtl/zlib-1.2.3/zconf.h
src/VARSAT/mtl/zlib-1.2.3/zconf.in.h
src/VARSAT/mtl/zlib-1.2.3/zlib.3
src/VARSAT/mtl/zlib-1.2.3/zlib.h
src/VARSAT/mtl/zlib-1.2.3/zutil.c
src/VARSAT/mtl/zlib-1.2.3/zutil.h
src/VARSAT/mtl/zlib-1.2.3/amiga/Makefile.pup
src/VARSAT/mtl/zlib-1.2.3/amiga/Makefile.sas
src/VARSAT/mtl/zlib-1.2.3/as400/bndsrc
src/VARSAT/mtl/zlib-1.2.3/as400/compile.clp
src/VARSAT/mtl/zlib-1.2.3/as400/readme.txt
src/VARSAT/mtl/zlib-1.2.3/as400/zlib.inc
src/VARSAT/mtl/zlib-1.2.3/contrib/README.contrib
src/VARSAT/mtl/zlib-1.2.3/contrib/ada/buffer_demo.adb
src/VARSAT/mtl/zlib-1.2.3/contrib/ada/mtest.adb
src/VARSAT/mtl/zlib-1.2.3/contrib/ada/read.adb
src/VARSAT/mtl/zlib-1.2.3/contrib/ada/readme.txt
src/VARSAT/mtl/zlib-1.2.3/contrib/ada/test.adb
src/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib-streams.adb
src/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib-streams.ads
src/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib-thin.adb
src/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib-thin.ads
src/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib.adb
src/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib.ads
src/VARSAT/mtl/zlib-1.2.3/contrib/ada/zlib.gpr
src/VARSAT/mtl/zlib-1.2.3/contrib/asm586/README.586
src/VARSAT/mtl/zlib-1.2.3/contrib/asm586/match.S
src/VARSAT/mtl/zlib-1.2.3/contrib/asm686/README.686
src/VARSAT/mtl/zlib-1.2.3/contrib/asm686/match.S
src/VARSAT/mtl/zlib-1.2.3/contrib/blast/Makefile
src/VARSAT/mtl/zlib-1.2.3/contrib/blast/README
src/VARSAT/mtl/zlib-1.2.3/contrib/blast/blast.c
src/VARSAT/mtl/zlib-1.2.3/contrib/blast/blast.h
src/VARSAT/mtl/zlib-1.2.3/contrib/blast/test.pk
src/VARSAT/mtl/zlib-1.2.3/contrib/blast/test.txt
src/VARSAT/mtl/zlib-1.2.3/contrib/delphi/ZLib.pas
src/VARSAT/mtl/zlib-1.2.3/contrib/delphi/ZLibConst.pas
src/VARSAT/mtl/zlib-1.2.3/contrib/delphi/readme.txt
src/VARSAT/mtl/zlib-1.2.3/contrib/delphi/zlibd32.mak
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib.build
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib.chm
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib.sln
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/LICENSE_1_0.txt
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/readme.txt
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/AssemblyInfo.cs
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/ChecksumImpl.cs
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CircularBuffer.cs
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/CodecBase.cs
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/Deflater.cs
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/DotZLib.cs
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/DotZLib.csproj
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/GZipStream.cs
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/Inflater.cs
src/VARSAT/mtl/zlib-1.2.3/contrib/dotzlib/DotZLib/UnitTests.cs
src/VARSAT/mtl/zlib-1.2.3/contrib/infback9/README
src/VARSAT/mtl/zlib-1.2.3/contrib/infback9/infback9.c
src/VARSAT/mtl/zlib-1.2.3/contrib/infback9/infback9.h
src/VARSAT/mtl/zlib-1.2.3/contrib/infback9/inffix9.h
src/VARSAT/mtl/zlib-1.2.3/contrib/infback9/inflate9.h
src/VARSAT/mtl/zlib-1.2.3/contrib/infback9/inftree9.c
src/VARSAT/mtl/zlib-1.2.3/contrib/infback9/inftree9.h
src/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/inffas86.c
src/VARSAT/mtl/zlib-1.2.3/contrib/inflate86/inffast.S
src/VARSAT/mtl/zlib-1.2.3/contrib/iostream/test.cpp
src/VARSAT/mtl/zlib-1.2.3/contrib/iostream/zfstream.cpp
src/VARSAT/mtl/zlib-1.2.3/contrib/iostream/zfstream.h
src/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/zstream.h
src/VARSAT/mtl/zlib-1.2.3/contrib/iostream2/zstream_test.cpp
src/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/README
src/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/TODO
src/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/test.cc
src/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/zfstream.cc
src/VARSAT/mtl/zlib-1.2.3/contrib/iostream3/zfstream.h
src/VARSAT/mtl/zlib-1.2.3/contrib/masm686/match.asm
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/bld_ml64.bat
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/gvmat64.asm
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/gvmat64.obj
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/inffas8664.c
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/inffasx64.asm
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/inffasx64.obj
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx64/readme.txt
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/bld_ml32.bat
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/gvmat32.asm
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/gvmat32.obj
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/gvmat32c.c
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/inffas32.asm
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/inffas32.obj
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/mkasm.bat
src/VARSAT/mtl/zlib-1.2.3/contrib/masmx86/readme.txt
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/ChangeLogUnzip
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/Makefile
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/crypt.h
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/ioapi.c
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/ioapi.h
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/iowin32.c
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/iowin32.h
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/miniunz.c
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/minizip.c
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/mztools.c
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/mztools.h
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/unzip.c
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/unzip.h
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/zip.c
src/VARSAT/mtl/zlib-1.2.3/contrib/minizip/zip.h
src/VARSAT/mtl/zlib-1.2.3/contrib/pascal/example.pas
src/VARSAT/mtl/zlib-1.2.3/contrib/pascal/readme.txt
src/VARSAT/mtl/zlib-1.2.3/contrib/pascal/zlibd32.mak
src/VARSAT/mtl/zlib-1.2.3/contrib/pascal/zlibpas.pas
src/VARSAT/mtl/zlib-1.2.3/contrib/puff/Makefile
src/VARSAT/mtl/zlib-1.2.3/contrib/puff/README
src/VARSAT/mtl/zlib-1.2.3/contrib/puff/puff.c
src/VARSAT/mtl/zlib-1.2.3/contrib/puff/puff.h
src/VARSAT/mtl/zlib-1.2.3/contrib/puff/zeros.raw
src/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/testzlib.c
src/VARSAT/mtl/zlib-1.2.3/contrib/testzlib/testzlib.txt
src/VARSAT/mtl/zlib-1.2.3/contrib/untgz/Makefile
src/VARSAT/mtl/zlib-1.2.3/contrib/untgz/Makefile.msc
src/VARSAT/mtl/zlib-1.2.3/contrib/untgz/untgz.c
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/readme.txt
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/miniunz.vcproj
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/minizip.vcproj
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/testzlib.vcproj
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlib.rc
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlibstat.vcproj
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlibvc.def
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlibvc.sln
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc7/zlibvc.vcproj
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/miniunz.vcproj
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/minizip.vcproj
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/testzlib.vcproj
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/testzlibdll.vcproj
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlib.rc
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlibstat.vcproj
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlibvc.def
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlibvc.sln
src/VARSAT/mtl/zlib-1.2.3/contrib/vstudio/vc8/zlibvc.vcproj
src/VARSAT/mtl/zlib-1.2.3/examples/README.examples
src/VARSAT/mtl/zlib-1.2.3/examples/fitblk.c
src/VARSAT/mtl/zlib-1.2.3/examples/gun.c
src/VARSAT/mtl/zlib-1.2.3/examples/gzappend.c
src/VARSAT/mtl/zlib-1.2.3/examples/gzjoin.c
src/VARSAT/mtl/zlib-1.2.3/examples/gzlog.c
src/VARSAT/mtl/zlib-1.2.3/examples/gzlog.h
src/VARSAT/mtl/zlib-1.2.3/examples/zlib_how.html
src/VARSAT/mtl/zlib-1.2.3/examples/zpipe.c
src/VARSAT/mtl/zlib-1.2.3/examples/zran.c
src/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.bor
src/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.dj2
src/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.emx
src/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.msc
src/VARSAT/mtl/zlib-1.2.3/msdos/Makefile.tc
src/VARSAT/mtl/zlib-1.2.3/old/Makefile.riscos
src/VARSAT/mtl/zlib-1.2.3/old/README
src/VARSAT/mtl/zlib-1.2.3/old/descrip.mms
src/VARSAT/mtl/zlib-1.2.3/old/visual-basic.txt
src/VARSAT/mtl/zlib-1.2.3/old/zlib.html
src/VARSAT/mtl/zlib-1.2.3/old/os2/Makefile.os2
src/VARSAT/mtl/zlib-1.2.3/old/os2/zlib.def
src/VARSAT/mtl/zlib-1.2.3/projects/README.projects
src/VARSAT/mtl/zlib-1.2.3/projects/visualc6/README.txt
src/VARSAT/mtl/zlib-1.2.3/projects/visualc6/example.dsp
src/VARSAT/mtl/zlib-1.2.3/projects/visualc6/minigzip.dsp
src/VARSAT/mtl/zlib-1.2.3/projects/visualc6/zlib.dsp
src/VARSAT/mtl/zlib-1.2.3/projects/visualc6/zlib.dsw
src/VARSAT/mtl/zlib-1.2.3/qnx/package.qpg
src/VARSAT/mtl/zlib-1.2.3/win32/DLL_FAQ.txt
src/VARSAT/mtl/zlib-1.2.3/win32/Makefile.bor
src/VARSAT/mtl/zlib-1.2.3/win32/Makefile.emx
src/VARSAT/mtl/zlib-1.2.3/win32/Makefile.gcc
src/VARSAT/mtl/zlib-1.2.3/win32/Makefile.msc
src/VARSAT/mtl/zlib-1.2.3/win32/VisualC.txt
src/VARSAT/mtl/zlib-1.2.3/win32/zlib.def
src/VARSAT/mtl/zlib-1.2.3/win32/zlib1.rc
src/lp_solve_5.0/CITATIONS.txt
src/lp_solve_5.0/commonlib.c
src/lp_solve_5.0/commonlib.h
src/lp_solve_5.0/declare.h
src/lp_solve_5.0/distrib.txt
src/lp_solve_5.0/fortify.c
src/lp_solve_5.0/fortify.h
src/lp_solve_5.0/lp_BFP.h
src/lp_solve_5.0/lp_BFP1.c
src/lp_solve_5.0/lp_BFP2.c
src/lp_solve_5.0/lp_Hash.c
src/lp_solve_5.0/lp_Hash.h
src/lp_solve_5.0/lp_LUMOD.c
src/lp_solve_5.0/lp_LUMOD.h
src/lp_solve_5.0/lp_LUSOL.c
src/lp_solve_5.0/lp_LUSOL.h
src/lp_solve_5.0/lp_MDO.c
src/lp_solve_5.0/lp_MDO.h
src/lp_solve_5.0/lp_MPS.c
src/lp_solve_5.0/lp_MPS.h
src/lp_solve_5.0/lp_MathProg.c
src/lp_solve_5.0/lp_MathProg.h
src/lp_solve_5.0/lp_SOS.c
src/lp_solve_5.0/lp_SOS.h
src/lp_solve_5.0/lp_XLI.h
src/lp_solve_5.0/lp_XLI1.c
src/lp_solve_5.0/lp_XLI2.c
src/lp_solve_5.0/lp_crash.c
src/lp_solve_5.0/lp_crash.h
src/lp_solve_5.0/lp_etaPFI.c
src/lp_solve_5.0/lp_etaPFI.h
src/lp_solve_5.0/lp_fortify.h
src/lp_solve_5.0/lp_glpkLU.c
src/lp_solve_5.0/lp_glpkLU.h
src/lp_solve_5.0/lp_lib.c
src/lp_solve_5.0/lp_lib.h
src/lp_solve_5.0/lp_matrix.c
src/lp_solve_5.0/lp_matrix.h
src/lp_solve_5.0/lp_mipbb.c
src/lp_solve_5.0/lp_mipbb.h
src/lp_solve_5.0/lp_presolve.c
src/lp_solve_5.0/lp_presolve.h
src/lp_solve_5.0/lp_price.c
src/lp_solve_5.0/lp_price.h
src/lp_solve_5.0/lp_pricePSE.c
src/lp_solve_5.0/lp_pricePSE.h
src/lp_solve_5.0/lp_report.c
src/lp_solve_5.0/lp_report.h
src/lp_solve_5.0/lp_rlp.bat
src/lp_solve_5.0/lp_rlp.c
src/lp_solve_5.0/lp_rlp.h
src/lp_solve_5.0/lp_rlp.l
src/lp_solve_5.0/lp_rlp.y
src/lp_solve_5.0/lp_rlpt.bat
src/lp_solve_5.0/lp_rlpt.c
src/lp_solve_5.0/lp_rlpt.h
src/lp_solve_5.0/lp_rlpt.l
src/lp_solve_5.0/lp_rlpt.y
src/lp_solve_5.0/lp_scale.c
src/lp_solve_5.0/lp_scale.h
src/lp_solve_5.0/lp_simplex.c
src/lp_solve_5.0/lp_simplex.h
src/lp_solve_5.0/lp_solveDLL.c
src/lp_solve_5.0/lp_solveDLL.h
src/lp_solve_5.0/lp_types.h
src/lp_solve_5.0/lp_utils.c
src/lp_solve_5.0/lp_utils.h
src/lp_solve_5.0/lp_wlp.c
src/lp_solve_5.0/lp_wlp.h
src/lp_solve_5.0/lp_wlpt.c
src/lp_solve_5.0/lpkit.h
src/lp_solve_5.0/lpsolve.h
src/lp_solve_5.0/myblas.c
src/lp_solve_5.0/myblas.h
src/lp_solve_5.0/patchlevel.h
src/lp_solve_5.0/readme.txt
src/lp_solve_5.0/ufortify.h
src/lp_solve_5.0/yacc_read.c
src/lp_solve_5.0/yacc_read.h
src/lp_solve_5.0/colamd/colamd.c
src/lp_solve_5.0/colamd/colamd.h
src/lp_solve_5.0/colamd/readme.txt
src/lp_solve_5.0/demo/ccc
src/lp_solve_5.0/demo/cgcc.bat
src/lp_solve_5.0/demo/cvc6.bat
src/lp_solve_5.0/demo/demo.c
src/lp_solve_5.0/demo/demo.sln
src/lp_solve_5.0/demo/demo.suo
src/lp_solve_5.0/demo/demo.vcproj
src/lp_solve_5.0/demo/demolib.sln
src/lp_solve_5.0/demo/demolib.suo
src/lp_solve_5.0/demo/demolib.vcproj
src/lp_solve_5.0/demo/readme.txt
src/lp_solve_5.0/lp_solve/ccc
src/lp_solve_5.0/lp_solve/cgcc.bat
src/lp_solve_5.0/lp_solve/cvc6.bat
src/lp_solve_5.0/lp_solve/lp_solve
src/lp_solve_5.0/lp_solve/lp_solve.c
src/lp_solve_5.0/lp_solve/lp_solve.sln
src/lp_solve_5.0/lp_solve/lp_solve.suo
src/lp_solve_5.0/lp_solve/lp_solve.vcproj
src/lp_solve_5.0/lp_solve/readme.txt
src/lp_solve_5.0/lpsolve5/ccc
src/lp_solve_5.0/lpsolve5/cgcc.bat
src/lp_solve_5.0/lpsolve5/cvc6.bat
src/lp_solve_5.0/lpsolve5/dll.sln
src/lp_solve_5.0/lpsolve5/dll.suo
src/lp_solve_5.0/lpsolve5/dll.vcproj
src/lp_solve_5.0/lpsolve5/lib.sln
src/lp_solve_5.0/lpsolve5/lib.suo
src/lp_solve_5.0/lpsolve5/lib.vcproj
src/lp_solve_5.0/lpsolve5/lp_solve.def
src/lp_solve_5.0/lpsolve5/lpsolve.rc
src/lp_solve_5.0/lpsolve5/readme.txt
src/lp_solve_5.0/lpsolve5/resource.h
src/satzilla_Solvers/best[mean+cv],firstlmstep[mean+median+cv+q10+q90],bestavgimpr[mean+cv],firstlmratio[mean+cv],estacl
src/satzilla_Solvers/cadical2023
src/satzilla_Solvers/kissatexe
src/satzilla_Solvers/oo
src/satzilla_Solvers/out
src/satzilla_Solvers/satelite
src/satzilla_Solvers/sbva
src/satzilla_Solvers/sol
src/satzilla_Solvers/ubcsat2006
src/satzilla_Solvers/ubcsatold
src/satzilla_Solvers/yalsat-03v.zip
src/satzilla_Solvers/zchaff07
src/satzilla_Solvers/zchaff_rand
src/satzilla_Solvers/yalsat-03v/FILES
src/satzilla_Solvers/yalsat-03v/LICENSE
src/satzilla_Solvers/yalsat-03v/README
src/satzilla_Solvers/yalsat-03v/VERSION
src/satzilla_Solvers/yalsat-03v/cflags.h
src/satzilla_Solvers/yalsat-03v/config.c
src/satzilla_Solvers/yalsat-03v/config.h
src/satzilla_Solvers/yalsat-03v/configure.sh
src/satzilla_Solvers/yalsat-03v/main.c
src/satzilla_Solvers/yalsat-03v/makefile
src/satzilla_Solvers/yalsat-03v/makefile.in
src/satzilla_Solvers/yalsat-03v/mkconfig.sh
src/satzilla_Solvers/yalsat-03v/palsat
src/satzilla_Solvers/yalsat-03v/yals.c
src/satzilla_Solvers/yalsat-03v/yals.h
src/satzilla_Solvers/yalsat-03v/yalsat
src/satzilla_Solvers/yalsat-03v/yils.h
src/tests/package_smoke.cnf
src/tests/test_package.py
src/tests/test_package_install.py
src/tests/test_python_interface.py