I just did some changes to the `refactoring` branch and because of a stupid mistake, I caused the solver to think it timeouted right away. This was not reported back to me in any way, except for being told that there is 0 models.
I just did some changes to the
refactoringbranch and because of a stupid mistake, I caused the solver to think it timeouted right away.This was not reported back to me in any way, except for being told that there is 0 models.