Library for minimizing Pseudo-Boolean functions