SMT-RAT comes with the following modules that are documented in some more detail below:

BEModule BVModule CNFerModule CSplitModule CoCoAGBModule CubeLIAModule CurryModule EMModule ESModule FPPModule GBModule GBPPModule ICEModule ICPModule IncWidthModule IntBlastModule IntEqModule LRAModule LVEModule MCBModule NRAILModule NewCADModule NewCoveringModule PBGaussModule PBPPModule PFEModule PNFerModule SATModule STropModule SplitSOSModule SymmetryModule VSModule