R

RoundingSat

RoundingSat: the pseudo-Boolean solver powered by proof complexity!