Format-normalized search

Search ignores comments, whitespace, literal order, clause order, duplicate literals, and duplicate clauses.

Variable-renamed matches are supported through a stored mapping. When a verified result is downloaded from search, the returned bundle is rebuilt for your submitted CNF. Internal variable mappings are not exposed in the paid download.