Fork of RoundingSat PB solver, with improvement reduction techniques. Specifically the (anti-)weakening of (anti-)superfluous literals as described in "Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis" - View it on GitHub