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