Playing with linear programs for tokenizers - View it on GitHub