AUTHORS
CMakeLists.txt
CMakeOptions.txt
COPYING
MANIFEST.in
Makefile
README.rst
VERSION
setup.py
docs/README.md
docs/logging.conf.detailed-template
docs/logging.conf.template
docs/simple-pedigree-multiallelic.ped
docs/simple-pedigree.ped
include/.gitignore
include/appinfo.h
include/appinfo.h.in.cmake
include/application.hpp
include/assertion.hpp
include/assumptions.hpp
include/cms_sat_solver_interface.hpp
include/configuration.h
include/configuration.h.in.cmake
include/data.hpp
include/descriptive_class.hpp
include/gender.hpp
include/haplotypes_genotypes.hpp
include/in-pedigree.hpp
include/io-haplotypes_genotypes.hpp
include/io-pedigree.hpp
include/log.hpp
include/ms_sat_solver_interface.hpp
include/out-pedigree.hpp
include/ped2cnf-constraints.hpp
include/ped2cnf.hpp
include/pedcnf.hpp
include/pedcnf2hc.hpp
include/pedigree.hpp
include/rehc_app.hpp
include/sat_solver_interface.hpp
include/timelimit.hpp
include/utility.hpp
reHCstar.egg-info/PKG-INFO
reHCstar.egg-info/SOURCES.txt
reHCstar.egg-info/dependency_links.txt
reHCstar.egg-info/entry_points.txt
reHCstar.egg-info/not-zip-safe
reHCstar.egg-info/top_level.txt
rehcstar/__init__.py
rehcstar/reHCstar_mgr.py
solver/CMakeLists.txt
solver/cryptominisat/AUTHORS
solver/cryptominisat/Alg.h
solver/cryptominisat/BitArray.h
solver/cryptominisat/BothCache.cpp
solver/cryptominisat/BothCache.h
solver/cryptominisat/BoundedQueue.h
solver/cryptominisat/CMakeLists.txt
solver/cryptominisat/CSet.h
solver/cryptominisat/Clause.h
solver/cryptominisat/ClauseAllocator.cpp
solver/cryptominisat/ClauseAllocator.h
solver/cryptominisat/ClauseCleaner.cpp
solver/cryptominisat/ClauseCleaner.h
solver/cryptominisat/ClauseOffset.h
solver/cryptominisat/ClauseVivifier.cpp
solver/cryptominisat/ClauseVivifier.h
solver/cryptominisat/CompleteDetachReattacher.cpp
solver/cryptominisat/CompleteDetachReattacher.h
solver/cryptominisat/DataSync.cpp
solver/cryptominisat/DataSync.h
solver/cryptominisat/DimacsParser.cpp
solver/cryptominisat/DimacsParser.h
solver/cryptominisat/DoublePackedRow.h
solver/cryptominisat/FailedLitSearcher.cpp
solver/cryptominisat/FailedLitSearcher.h
solver/cryptominisat/FindUndef.cpp
solver/cryptominisat/FindUndef.h
solver/cryptominisat/Gaussian.cpp
solver/cryptominisat/Gaussian.h
solver/cryptominisat/GaussianConfig.h
solver/cryptominisat/Heap.h
solver/cryptominisat/LICENSE-GPL
solver/cryptominisat/LICENSE-MIT
solver/cryptominisat/MatrixFinder.cpp
solver/cryptominisat/MatrixFinder.h
solver/cryptominisat/MersenneTwister.h
solver/cryptominisat/OnlyNonLearntBins.cpp
solver/cryptominisat/OnlyNonLearntBins.h
solver/cryptominisat/PackedMatrix.h
solver/cryptominisat/PackedRow.cpp
solver/cryptominisat/PackedRow.h
solver/cryptominisat/PartFinder.cpp
solver/cryptominisat/PartFinder.h
solver/cryptominisat/PartHandler.cpp
solver/cryptominisat/PartHandler.h
solver/cryptominisat/PropBy.h
solver/cryptominisat/RestartTypeChooser.cpp
solver/cryptominisat/RestartTypeChooser.h
solver/cryptominisat/SCCFinder.cpp
solver/cryptominisat/SCCFinder.h
solver/cryptominisat/SharedData.h
solver/cryptominisat/Solver.cpp
solver/cryptominisat/Solver.h
solver/cryptominisat/SolverConf.cpp
solver/cryptominisat/SolverConf.h
solver/cryptominisat/SolverDebug.cpp
solver/cryptominisat/SolverMisc.cpp
solver/cryptominisat/SolverTypes.h
solver/cryptominisat/StateSaver.cpp
solver/cryptominisat/StateSaver.h
solver/cryptominisat/StreamBuffer.h
solver/cryptominisat/Subsumer.cpp
solver/cryptominisat/Subsumer.h
solver/cryptominisat/UselessBinRemover.cpp
solver/cryptominisat/UselessBinRemover.h
solver/cryptominisat/VarReplacer.cpp
solver/cryptominisat/VarReplacer.h
solver/cryptominisat/Vec.h
solver/cryptominisat/Watched.h
solver/cryptominisat/XSet.h
solver/cryptominisat/XorFinder.cpp
solver/cryptominisat/XorFinder.h
solver/cryptominisat/XorSubsumer.cpp
solver/cryptominisat/XorSubsumer.h
solver/cryptominisat/constants.h
solver/cryptominisat/time_mem.h
solver/minisat/Alg.h
solver/minisat/Alloc.h
solver/minisat/CMakeLists.txt
solver/minisat/Dimacs.h
solver/minisat/Heap.h
solver/minisat/IntTypes.h
solver/minisat/LICENSE
solver/minisat/Map.h
solver/minisat/Options.cc
solver/minisat/Options.h
solver/minisat/ParseUtils.h
solver/minisat/Queue.h
solver/minisat/SimpSolver.cc
solver/minisat/SimpSolver.h
solver/minisat/Solver.cc
solver/minisat/Solver.h
solver/minisat/SolverTypes.h
solver/minisat/Sort.h
solver/minisat/System.cc
solver/minisat/System.h
solver/minisat/Vec.h
solver/minisat/XAlloc.h
src/CMakeLists.txt
src/application/CMakeLists.txt
src/application/main.cpp
src/lib/CMakeLists.txt
src/lib/assumptions.cpp
src/lib/cms_sat_solver_interface.cpp
src/lib/gender.cpp
src/lib/haplotypes_genotypes.cpp
src/lib/log.cpp
src/lib/ms_sat_solver_interface.cpp
src/lib/ped2cnf-constraints.cpp
src/lib/pedcnf.cpp
src/lib/pedcnf_card.cpp
src/lib/timelimit.cpp
src/lib/utility.cpp
thirdparty/LICENSES.txt
thirdparty/autorevision.sh
thirdparty/cryptominisat/AUTHORS
thirdparty/cryptominisat/Alg.h
thirdparty/cryptominisat/BitArray.h
thirdparty/cryptominisat/BothCache.cpp
thirdparty/cryptominisat/BothCache.h
thirdparty/cryptominisat/BoundedQueue.h
thirdparty/cryptominisat/CMakeLists.txt
thirdparty/cryptominisat/CSet.h
thirdparty/cryptominisat/Clause.h
thirdparty/cryptominisat/ClauseAllocator.cpp
thirdparty/cryptominisat/ClauseAllocator.h
thirdparty/cryptominisat/ClauseCleaner.cpp
thirdparty/cryptominisat/ClauseCleaner.h
thirdparty/cryptominisat/ClauseOffset.h
thirdparty/cryptominisat/ClauseVivifier.cpp
thirdparty/cryptominisat/ClauseVivifier.h
thirdparty/cryptominisat/CompleteDetachReattacher.cpp
thirdparty/cryptominisat/CompleteDetachReattacher.h
thirdparty/cryptominisat/DataSync.cpp
thirdparty/cryptominisat/DataSync.h
thirdparty/cryptominisat/DimacsParser.cpp
thirdparty/cryptominisat/DimacsParser.h
thirdparty/cryptominisat/DoublePackedRow.h
thirdparty/cryptominisat/FailedLitSearcher.cpp
thirdparty/cryptominisat/FailedLitSearcher.h
thirdparty/cryptominisat/FindUndef.cpp
thirdparty/cryptominisat/FindUndef.h
thirdparty/cryptominisat/Gaussian.cpp
thirdparty/cryptominisat/Gaussian.h
thirdparty/cryptominisat/GaussianConfig.h
thirdparty/cryptominisat/Heap.h
thirdparty/cryptominisat/LICENSE-GPL
thirdparty/cryptominisat/LICENSE-MIT
thirdparty/cryptominisat/MatrixFinder.cpp
thirdparty/cryptominisat/MatrixFinder.h
thirdparty/cryptominisat/MersenneTwister.h
thirdparty/cryptominisat/OnlyNonLearntBins.cpp
thirdparty/cryptominisat/OnlyNonLearntBins.h
thirdparty/cryptominisat/PackedMatrix.h
thirdparty/cryptominisat/PackedRow.cpp
thirdparty/cryptominisat/PackedRow.h
thirdparty/cryptominisat/PartFinder.cpp
thirdparty/cryptominisat/PartFinder.h
thirdparty/cryptominisat/PartHandler.cpp
thirdparty/cryptominisat/PartHandler.h
thirdparty/cryptominisat/PropBy.h
thirdparty/cryptominisat/RestartTypeChooser.cpp
thirdparty/cryptominisat/RestartTypeChooser.h
thirdparty/cryptominisat/SCCFinder.cpp
thirdparty/cryptominisat/SCCFinder.h
thirdparty/cryptominisat/SharedData.h
thirdparty/cryptominisat/Solver.cpp
thirdparty/cryptominisat/Solver.h
thirdparty/cryptominisat/SolverConf.cpp
thirdparty/cryptominisat/SolverConf.h
thirdparty/cryptominisat/SolverDebug.cpp
thirdparty/cryptominisat/SolverMisc.cpp
thirdparty/cryptominisat/SolverTypes.h
thirdparty/cryptominisat/StateSaver.cpp
thirdparty/cryptominisat/StateSaver.h
thirdparty/cryptominisat/StreamBuffer.h
thirdparty/cryptominisat/Subsumer.cpp
thirdparty/cryptominisat/Subsumer.h
thirdparty/cryptominisat/UselessBinRemover.cpp
thirdparty/cryptominisat/UselessBinRemover.h
thirdparty/cryptominisat/VarReplacer.cpp
thirdparty/cryptominisat/VarReplacer.h
thirdparty/cryptominisat/Vec.h
thirdparty/cryptominisat/Watched.h
thirdparty/cryptominisat/XSet.h
thirdparty/cryptominisat/XorFinder.cpp
thirdparty/cryptominisat/XorFinder.h
thirdparty/cryptominisat/XorSubsumer.cpp
thirdparty/cryptominisat/XorSubsumer.h
thirdparty/cryptominisat/constants.h
thirdparty/cryptominisat/time_mem.h
thirdparty/minisat/Alg.h
thirdparty/minisat/Alloc.h
thirdparty/minisat/CMakeLists.txt
thirdparty/minisat/Dimacs.h
thirdparty/minisat/Heap.h
thirdparty/minisat/IntTypes.h
thirdparty/minisat/LICENSE
thirdparty/minisat/Map.h
thirdparty/minisat/Options.cc
thirdparty/minisat/Options.h
thirdparty/minisat/ParseUtils.h
thirdparty/minisat/Queue.h
thirdparty/minisat/SimpSolver.cc
thirdparty/minisat/SimpSolver.h
thirdparty/minisat/Solver.cc
thirdparty/minisat/Solver.h
thirdparty/minisat/SolverTypes.h
thirdparty/minisat/Sort.h
thirdparty/minisat/System.cc
thirdparty/minisat/System.h
thirdparty/minisat/Vec.h
thirdparty/minisat/XAlloc.h
tools/share/cmake/ExtractSourceVersionFromGit.cmake