Minor re-factoring, improving on code-quality and possibly giving speedup on very large markings (several hundreds of tokens).
« Back to merge proposal
Minor re-factoring, improving on code-quality and possibly giving speedup on very large markings (several hundreds of tokens).