GitLab

the random number generator that gets used.

iterations of apparent convergence since this results in fewer separation
oracle calls overall.

feature extraction is correctly programmed to avoid false alarms.

and in headers.

code over to use it.

work, before the makerel script is allowed to complete.

sequences that go slightly beyond the end of the input sequence.