SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
PBPPModule

This module implements a variety of preprocessing techniques for pseudo-Boolean problems. Many of them are based on [13].