Optimal tokenization with cutting planes - View it on GitHub