An attempt to find superpermutations by reducing the problem to SAT.
Primary LanguageRust
No issues in this repository yet.