Bug with the CuttingPlanes strategy
In the latest commit (94b8f653), the attached pseudo-Boolean (PB) instance from the PB competition is solved as satisfiable with the "CuttingPlanes" strategy. I'm reasonably sure the instance is unsatisfiable, which is confirmed by Sat4J's default configuration (without "CuttingPlanes" strategy).