Skip to content
GitLab
Explore
Sign in
CoMISo
CoMISo
Repository
CoMISo
Utils
ExactConstraintSatisfaction.hh
Find file
Blame
History
Permalink
works for b = 0 now, and if b is divisible also for b != 0.
· 4743539e
Robin Brost
authored
Oct 29, 2019
For general b != 0 limited to the precision of the result
4743539e