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

[detail level 12345]

▼ dlinear
► libs
libgmp.cpp
libgmp.h
libonnx.cpp
libonnx.h
libqsopt_ex.cpp
libqsopt_ex.h
libsoplex.cpp
libsoplex.h
libxtensor.cpp
libxtensor.h
► parser
► mps
BoundType.cpp
BoundType.h
Driver.cpp
Driver.h
mps.h
scanner.h
Sense.cpp
Sense.h
► onnx
Driver.cpp
Driver.h
NodeOpType.cpp
NodeOpType.h
onnx.h
Tensor.cpp
Tensor.h
► smt2
Driver.cpp
Driver.h
FunctionDefinition.cpp
FunctionDefinition.h
scanner.h
smt2.h
Sort.cpp
Sort.h
Term.cpp
Term.h
► vnnlib
Driver.cpp
Driver.h
FunctionDefinition.cpp
FunctionDefinition.h
scanner.h
Sort.cpp
Sort.h
Term.cpp
Term.h
vbblib.h
Driver.cpp
Driver.h
► solver
Bound.cpp
Bound.h
BoundImplicator.cpp
BoundImplicator.h
BoundIterator.cpp
BoundIterator.h
BoundPreprocessor.cpp
BoundPreprocessor.h
BoundVector.cpp
BoundVector.h
CadicalSatSolver.cpp
CadicalSatSolver.h
CompleteSoplexTheorySolver.cpp
CompleteSoplexTheorySolver.h
Context.cpp
Context.h
ContextImpl.cpp
ContextImpl.h
DeltaQsoptexTheorySolver.cpp
DeltaQsoptexTheorySolver.h
DeltaSoplexTheorySolver.cpp
DeltaSoplexTheorySolver.h
LeakyReluConstraint.cpp
LeakyReluConstraint.h
Logic.cpp
Logic.h
LpColBound.cpp
LpColBound.h
LpResult.cpp
LpResult.h
LpRowSense.cpp
LpRowSense.h
NNSoplexTheorySolver.cpp
NNSoplexTheorySolver.h
PicosatSatSolver.cpp
PicosatSatSolver.h
PiecewiseConstraintState.cpp
PiecewiseConstraintState.h
PiecewiseLinearConstraint.cpp
PiecewiseLinearConstraint.h
QsoptexTheorySolver.cpp
QsoptexTheorySolver.h
ReluConstraint.cpp
ReluConstraint.h
SatResult.cpp
SatResult.h
SatSolver.cpp
SatSolver.h
SmtSolver.cpp
SmtSolver.h
SmtSolverOutput.cpp
SmtSolverOutput.h
SoplexTheorySolver.cpp
SoplexTheorySolver.h
TheorySolver.cpp
TheorySolver.h
► symbolic
environment.h
ExpressionEvaluator.cpp
ExpressionEvaluator.h
FormulaVisitor.h
GenericExpressionVisitor.h
GenericFormulaVisitor.h
IfThenElseEliminator.cpp
IfThenElseEliminator.h
LinearFormulaFlattener.cpp
LinearFormulaFlattener.h
literal.cpp
literal.h
NaiveCnfizer.cpp
NaiveCnfizer.h
Nnfizer.cpp
Nnfizer.h
PlaistedGreenbaumCnfizer.cpp
PlaistedGreenbaumCnfizer.h
PredicateAbstractor.cpp
PredicateAbstractor.h
PrefixPrinter.cpp
PrefixPrinter.h
symbolic.cpp
symbolic.h
TseitinCnfizer.cpp
TseitinCnfizer.h
► util
ArgParser.cpp
ArgParser.h
BitIncrementIterator.cpp
BitIncrementIterator.h
Box.cpp
Box.h
concepts.h
Config.cpp
Config.h
definitions.h
exception.h
filesystem.cpp
filesystem.h
Graph.hpp
Infinity.cpp
Infinity.h
Interval.cpp
Interval.h
logging.cpp
logging.h
math.cpp
math.h
NumericDataContainer.hpp
OptionValue.hpp
RoundingModeGuard.hpp
ScopedUnorderedMap.hpp
ScopedUnorderedSet.hpp
ScopedVector.hpp
SortedVector.cpp
SortedVector.hpp
Stats.cpp
Stats.h
Timer.cpp
Timer.h
dlinear.h
main.cpp
▼ third_party
► com_github_robotlocomotion_drake
► dlinear
► symbolic
hash.h
symbolic_environment.h
symbolic_expression.h
symbolic_expression_cell.h
symbolic_expression_visitor.h
symbolic_formula.h
symbolic_formula_visitor.h
symbolic_variable.h
symbolic_variables.h