MIAOresearch/software/roundingsat

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

GitLab repository with 9 stars and 18 forks.

Topics: combinatorial optimization, integer linear programming, solver

Open provider repository