/supersat

An attempt to find superpermutations by reducing the problem to SAT.

Primary LanguageRust

Stargazers