LICENSE
MANIFEST.in
README.md
pyglucose.cpp
setup.py
glucose-syrup-4.1/Changelog
glucose-syrup-4.1/LICENCE
glucose-syrup-4.1/README
glucose-syrup-4.1/core/BoundedQueue.h
glucose-syrup-4.1/core/Constants.h
glucose-syrup-4.1/core/Dimacs.h
glucose-syrup-4.1/core/Makefile
glucose-syrup-4.1/core/Solver.cc
glucose-syrup-4.1/core/Solver.h
glucose-syrup-4.1/core/SolverStats.h
glucose-syrup-4.1/core/SolverTypes.h
glucose-syrup-4.1/mtl/Alg.h
glucose-syrup-4.1/mtl/Alloc.h
glucose-syrup-4.1/mtl/Clone.h
glucose-syrup-4.1/mtl/Heap.h
glucose-syrup-4.1/mtl/IntTypes.h
glucose-syrup-4.1/mtl/Map.h
glucose-syrup-4.1/mtl/Queue.h
glucose-syrup-4.1/mtl/Sort.h
glucose-syrup-4.1/mtl/Vec.h
glucose-syrup-4.1/mtl/VecThreads.h
glucose-syrup-4.1/mtl/XAlloc.h
glucose-syrup-4.1/mtl/config.mk
glucose-syrup-4.1/mtl/template.mk
glucose-syrup-4.1/parallel/ClausesBuffer.cc
glucose-syrup-4.1/parallel/ClausesBuffer.h
glucose-syrup-4.1/parallel/Main.cc
glucose-syrup-4.1/parallel/Makefile
glucose-syrup-4.1/parallel/MultiSolvers.cc
glucose-syrup-4.1/parallel/MultiSolvers.h
glucose-syrup-4.1/parallel/ParallelSolver.cc
glucose-syrup-4.1/parallel/ParallelSolver.h
glucose-syrup-4.1/parallel/SharedCompanion.cc
glucose-syrup-4.1/parallel/SharedCompanion.h
glucose-syrup-4.1/parallel/SolverCompanion.cc
glucose-syrup-4.1/parallel/SolverCompanion.h
glucose-syrup-4.1/parallel/SolverConfiguration.cc
glucose-syrup-4.1/parallel/SolverConfiguration.h
glucose-syrup-4.1/simp/Main.cc
glucose-syrup-4.1/simp/Makefile
glucose-syrup-4.1/simp/SimpSolver.cc
glucose-syrup-4.1/simp/SimpSolver.h
glucose-syrup-4.1/utils/Makefile
glucose-syrup-4.1/utils/Options.cc
glucose-syrup-4.1/utils/Options.h
glucose-syrup-4.1/utils/ParseUtils.h
glucose-syrup-4.1/utils/System.cc
glucose-syrup-4.1/utils/System.h
pyglucose.egg-info/PKG-INFO
pyglucose.egg-info/SOURCES.txt
pyglucose.egg-info/dependency_links.txt
pyglucose.egg-info/not-zip-safe
pyglucose.egg-info/requires.txt
pyglucose.egg-info/top_level.txt