A Java library capable of constructing character-sequence-storing, directed acyclic graphs of minimal size