This is clearly a serious issue. A part of the problem is that the testing framework is not robust enough to detect the absence of barvinok or z3 or some other external program. There have been attempts in the past to deal with this, but it is clearly not working.
This is clearly a serious issue. A part of the problem is that the testing framework is not robust enough to detect the absence of barvinok or z3 or some other external program. There have been attempts in the past to deal with this, but it is clearly not working.