Here is a list of all files with brief descriptions:

[detail level 123456]

► carl-arith
► constraint
BasicConstraint.h
Bound.h
Comparison.h
Complexity.h
Conversion.h
Evaluation.h
IntervalEvaluation.h
Simplification.h
Substitution.h
► converter
CArLConverter.h
Converter.h
ginac.h
GiNaCAdaptor.h
GiNaCConverter.h
OldGinacConverter.cpp
OldGinacConverter.h
OldGinacConverter.tpp
► core
Common.h
CompareResult.h
Relation.h
Sign.h
Variable.cpp
Variable.h
VariablePool.cpp
VariablePool.h
Variables.h
► extended
Conversion.h
Encoding.h
MultivariateRoot.h	Represent a dynamic root, also known as a "root expression"
VariableAssignment.h
VariableComparison.h
► groebner
► gb-buchberger
Buchberger.h
Buchberger.tpp
BuchbergerStats.cpp
BuchbergerStats.h
CriticalPairs.h
CriticalPairs.tpp
CriticalPairsEntry.h
SPolPair.h
► ideal-ds
IdealDSVector.h
PolynomialSorts.h
DivisionLookupResult.h
GBProcedure.h
GBUpdateProcedures.h
groebner.h
Ideal.h
Reductor.h
ReductorEntry.h
► interval
► policies
checking.h
rounding.h
rounding_float_t.tpp
BoundType.h
Conversion.h
Evaluation.h
Exponential.h
Interval.h
Interval.tpp
operators.h
Power.h
Sampling.h
SetTheory.h
Trigonometry.h
typetraits.h
► intervalcontraction
Contraction.h
Contractor.h
► numbers
► adaption_cln
hash.h
include.h
operations.cpp
operations.h
parser.h
typetraits.h
► adaption_float
FLOAT_T.h	General class for floating point numbers with different formats
mpfr_float.cpp
mpfr_float.tpp
roundingConversion.h
typetraits.h
► adaption_gmpxx
hash.h
include.h
operations.cpp
operations.h
parser.h
typetraits.h
► adaption_native
EEA.h
operations.h
typetraits.h
► conversion
cln_gmp.h
conversion.h
generic.h
native.h
► parser
parser.h
constants.h
FactorizationFactory.h
GaloisField.h
GFNumber.h
GFNumber.tpp
numbers.h
operations_generic.h
operations_predeclarations.h
PrimeFactory.h
typetraits.h
► poly
► ctxpoly
Context.h
ContextPolynomial.h
Functions.h
► libpoly
CoCoAAdaptorLP.h
Functions.cpp
Functions.h
helper.h
LPContext.cpp
LPContext.h
LPPolynomial.cpp
LPPolynomial.h
LPVariables.cpp
LPVariables.h
► umvpoly
► functions
► horner
IntervalEvaluation.h
MultivariateHorner.h
MultivariateHorner.tpp
MultivariateHornerSettings.h
Bitsize.h
Chebyshev.h
Complexity.h
Content.h
CoprimePart.h
Definiteness.h
Degree.h	Implements utility functions concerning the (total) degree of monomials, terms and polynomials
Derivative.h
DiophantineEquation.h
DiophantineEquation.tpp
Division.h
EigenWrapper.cpp
EigenWrapper.h
Evaluation.h
EZGCD.h
Factorization.h
Factorization_univariate.h
GCD.h
GCD_Monomial.cpp
GCD_Monomial.h
GCD_multivariate.h
GCD_Term.h
GCD_univariate.h
Groebner.h
IntervalEvaluation.h
LCM.h
MultivariateHensel.h
Power.h
PrimitiveEuclidean.h
PrimitivePart.h
Quotient.h
Remainder.h
Representation.h
Resultant.h
RootBounds.h
RootCounting.h
RootElimination.h
SeparablePart.h
SignVariations.h
SoSDecomposition.h
SPolynomial.h
SquareFreePart.h
SturmSequence.h
Substitution.h
TaylorExpansion.h
to_univariate_polynomial.h
VarInfo.h
► MultivariatePolynomialAdaptors
PolynomialAllocator.h
ReasonsAdaptor.h
CoCoAAdaptor.cpp
CoCoAAdaptor.h
CoCoAAdaptorStatistics.h
Monomial.cpp
Monomial.h
MonomialOrdering.h
MonomialPool.cpp
MonomialPool.h
MultivariatePolynomial.h
MultivariatePolynomial.tpp
MultivariatePolynomial_operators.h
MultivariatePolynomialPolicy.h
Term.h
Term.tpp
TermAdditionManager.h
UnivariatePolynomial.h
UnivariatePolynomial.tpp
Conversion.h
typetraits.h
VarInfo.h
► ran
► common
NumberOperations.h
Operations.h
RealRoots.h
► interval
► helper
AlgebraicSubstitution.h	This file contains carl::algebraic_substitution which performs what we call an `algebraic substitution`
FieldExtensions.h
internal.h
LazardEvaluation.h
RealRootIsolation.h
Evaluation.h
Ran.h
ran_interval_extra.h
RealRoots.h
► libpoly
Evaluation.cpp
Evaluation.h
helper.h
LPAssignment.cpp
LPAssignment.h
LPRan.cpp
LPRan.h
RealRoots.cpp
RealRoots.h
► thom
► SignDetermination
SignCondition.h
SignDetermination.h
► TarskiQuery
CharPol.h
GroebnerBase.h
GroebnerBase.tpp
MultiplicationTable.h
MultivariateTarskiQuery.h
TarskiQueryManager.h
UnivariateTarskiQuery.h
ran_thom.h
ThomEncoding.h
ThomEncoding.tpp
ThomEvaluation.h
ThomRootFinder.h
ThomUtil.h
Conversion.h
ran.h	Represent a real algebraic number (RAN) in one of several ways:
► vs
Evaluation.h
SqrtEx.h
SqrtEx.tpp
Substitution.h
initialize.h
► carl-checkpoints
carl-checkpoints.h	A small wrapper that makes using checkpoints easier in carl
Checkpoints.h
CheckpointVerifier.h
► carl-common
► compile_info
CompileInfo.cpp
CompileInfo.h
► datastructures
Bitset.h
BitVector.cpp
BitVector.h
carlTree.h
CompactTree.h	This file has been extracted from mathic
Heap.h	This file has been extracted from mathic
► debug
debug.cpp
debug.h
Timer.h
► memory
Cache.h
Cache.tpp
IDPool.h
LocalPool.h
Pool.h
PoolHelper.cpp
PoolHelper.h
Singleton.h
► meta
platform.h
SFINAE.h
► util
boost_util.h
container_types.h
enum_util.h
hash.h
hash_util.h
mpl_utils.h	This file provides two helpers to mangle with type sequences using boost::mpl
pointerOperations.h
streamingOperators.h
tuple_util.h
variant_util.h
config.h
► carl-covering
► heuristics
exact.cpp
exact.h
greedy.cpp
greedy.h
remove_duplicates.cpp
remove_duplicates.h
select_essential.cpp
select_essential.h
trivial.cpp
trivial.h
carl-covering.h
SetCover.cpp
SetCover.h
TypedSetCover.h
► carl-extpolys
carl-extpolys.cpp
carl-extpolys.h
ConstraintOperations.h
evaluation.h
FactorizedPolynomial.h
FactorizedPolynomial.tpp
PolynomialFactorizationPair.h
PolynomialFactorizationPair.tpp
RationalFunction.h
RationalFunction.tpp
substitution.h
► carl-formula
► arithmetic
Constraint.h
► bitvector
BVCompareRelation.h
BVConstraint.cpp
BVConstraint.h
BVConstraintPool.cpp
BVConstraintPool.h
BVTerm.cpp
BVTerm.h
BVTermContent.h
BVTermPool.cpp
BVTermPool.h
BVTermType.h
BVValue.cpp
BVValue.h
BVVariable.h
Pool.h
► formula
► functions
aux.h
CNF.h
Complexity.h
ConstraintBounds.h
Negations.h
NNF.h
PNF.h
Substitution.h
Variables.h
Visit.h
Condition.h
Formula.h
Formula.tpp
FormulaContent.h
FormulaContent.tpp
FormulaPool.h
FormulaPool.tpp
Logic.h
► model
► evaluation
ModelEvaluation.h
ModelEvaluation_Bitvector.h
ModelEvaluation_Constraint.h
ModelEvaluation_Formula.h
ModelEvaluation_helper.h
ModelEvaluation_MVRoot.h
ModelEvaluation_Polynomial.h
ModelEvaluation_Uninterpreted.h
► substitutions
ModelConditionalSubstitution.h
ModelFormulaSubstitution.h
ModelMVRootSubstitution.h
ModelPolynomialSubstitution.h
Assignment.h
Assignment.tpp
Model.h
ModelSubstitution.h
ModelValue.h
ModelVariable.h
► sort
Sort.cpp
Sort.h
SortManager.cpp
SortManager.h
► symmetry
symmetry.h
SymmetryBreaker.h
SymmetryFinder.h
► uninterpreted
SortValue.h
SortValueManager.h
UEquality.cpp
UEquality.h
UFInstance.cpp
UFInstance.h
UFInstanceManager.cpp
UFInstanceManager.h
UFManager.cpp
UFManager.h
UFModel.cpp
UFModel.h
UninterpretedFunction.cpp
UninterpretedFunction.h
UTerm.cpp
UTerm.h
UVariable.h
► carl-io
► parser
Common.h
ExpressionParser.h
ExpressionParserResult.h
FormulaParser.h
Parser.h
PolynomialParser.h
RationalFunctionParser.h
carl-io.cpp
DIMACSExporter.h
DIMACSImporter.h
MapleStream.h
OPBImporter.cpp
OPBImporter.h
QEPCADStream.h
SMTLIBStream.h
SpiritHelper.h
StringParser.h
► carl-logging
carl-logging.cpp
carl-logging.h	A small wrapper that configures logging for carl
config.h
Filter.h
Formatter.h
Logger.h
logging-internals.h
logging.cpp
logging.h
logging_utils.h
LogLevel.h
Sink.h
► carl-settings
Settings.h
settings_utils.cpp
settings_utils.h
SettingsParser.cpp
SettingsParser.h
► carl-statistics
carl-statistics.h	A small wrapper that makes using statistics easier in carl
config.h
MultiCounter.h
Serialization.h
Series.h
Statistics.h
StatisticsCollector.cpp
StatisticsCollector.h
StatisticsPrinter.h
Timing.h
► carl-vs
substitute.h
substitute.tpp
term.h
term.tpp
zeros.h
► doc
► markdown
codedocs
developers
installation
users
► examples
► groebner
cyclic.h
katsura.h
► tutorial
Monomial_Create.cpp
MultivariatePolynomial_Create.cpp
Variable_Create.cpp
config.h
FloatExample.cpp	This file is for short testing - not intended for distribution
GroebnerExample.cpp
HornerTest.cpp
IntervalCoefficientExample.cpp
IntervalContractionExample.cpp
IntervalExample.cpp	An example how to use the general type interval with different instantiations
MpfrTest.cpp
MpqIntervalExample.cpp	An example used to test, which of the operators for multiplication of mpq_class types is used: The official one or the overridden one