Here is a list of all documented files with brief descriptions:

[detail level 12345]

▼ src
▼ containers
Bitset.hpp
ClauseBuffer.hpp
ClauseDatabase.hpp
ClauseDatabaseBufferPerEntity.hpp
ClauseDatabaseMallob.hpp
ClauseDatabasePerSize.hpp
ClauseDatabaseSingleBuffer.hpp
ClauseExchange.hpp
ClauseUtils.hpp
Formula.hpp
vector2D.hpp
▼ preprocessors
▼ PRS-Preprocessors
▼ utils-prs
bitset.hpp
hashmap.hpp
parse.hpp
preprocess.hpp
PreprocessorInterface.hpp
StructuredBva.hpp
▼ sharing
▼ Filters
BloomFilter.hpp
ExactFilter.hpp
▼ GlobalStrategies
AllGatherSharing.hpp
GenericGlobalSharing.hpp
GlobalSharingStrategy.hpp
MallobSharing.hpp
▼ LocalStrategies
HordeSatSharing.hpp
SimpleSharing.hpp
Sharer.hpp
SharingEntity.hpp
SharingStatistics.hpp
SharingStrategy.hpp
SharingStrategyFactory.hpp
▼ solvers
▼ CDCL
Cadical.hpp
GlucoseSyrup.hpp
Kissat.hpp
KissatFamily.hpp
KissatINCSolver.hpp
KissatMABSolver.hpp
Lingeling.hpp
MapleCOMSPSSolver.hpp
MiniSat.hpp
SolverCdclInterface.hpp
▼ LocalSearch
LocalSearchInterface.hpp
YalSat.hpp
SolverFactory.hpp
SolverInterface.hpp
▼ utils
ErrorCodes.hpp
hashfunc.hpp
Logger.hpp	Defines logging functions and macros for the SAT solver
MpiUtils.hpp
NumericConstants.hpp
Parameters.hpp
Parsers.hpp	Defines classes and functions for parsing CNF formulas and processing clauses
System.hpp
Threading.hpp
▼ working
PortfolioPRS.hpp
PortfolioSimple.hpp
SequentialWorker.hpp
WorkingStrategy.hpp
painless.hpp