Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

R

RoundingSat

Project information

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

solver combinatoria... integer line...

587 Commits
4 Branches
20 Tags
1 Release

README
MIT License

Created on

January 18, 2020

Loading