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

This module tries to simplify pseudo-Boolean problems using Gauss as described in [13].