ExactIntegerSlackError

class ExactIntegerSlackError

Exact integer-slack conversion is unavailable for the requested inequality.