SMT-RAT  2.1.0
ToolboxforStrategicandParallelSatisfiability-Modulo-TheoriesSolving
File List
Here is a list of all documented files with brief descriptions:
[detail level 12345]
  benchmax
  backends
  results
  ssh
  tools
  utils
 BenchmarkSet.cpp
 BenchmarkSet.h
 BenchmarkStatus.cpp
 BenchmarkStatus.h
 benchmax.cpp
 config.h
 logging.h
 Settings.cpp
 Settings.h
 Stats.cpp
 Stats.h
  cli
  parser
 config.h
 ExitCodes.h
 RuntimeSettingsManager.cpp
 RuntimeSettingsManager.h
 smtratSolver.cpp
  delta
  scripts
 Checker.h
 config.h
 Consumer.h
 delta.cpp
 Node.h
 operators.h
 Parser.h
 Producer.h
 Settings.h
 utils.h
  lib
  datastructures
  modules
  solver
  strategies
  utilities
 Common.cpp
 Common.hProvide useful type aliases, especially for the performance critical underlying coefficient types of polynomials, as well as enums and constants
 config.h
 logging.hUse your own judgement for the following log levels: TRACE Finer-grained informational events than the DEBUG
 smtrat.h
  traceprinter
 main.cpp
 Node.h
 Parser.h