Utils/ExactConstraintSatisfaction.hh · 4743539e64f630782aeb880c2261229a7ae43fde · CoMISo / CoMISo · GitLab

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