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...

751 Commits
4 Branches
21 Tags
1 Release

README
MIT License

Created on

January 18, 2020

Loading