The Resolution of Keller's Conjecture - Computation Logs

<p>Logs of the computations performed to settle Keller&#39;s conjecture on cube tilings. For every value of s∊{3,4,6} there are files:</p> <ul> <li>s?.cnf encoding the problem for that value of s as explained in the paper, with additional symmetry breaking clauses.</li> <li>s?.dnf which is a tautology of assignments that need to be verified by SAT solvers.</li> </ul> <p>Inside the Keller-logs.zip archive, for every value of s∊{3,4,6} you will find:</p> <ul> <li>A folder sym-s? containing all the verification logs of the symmetry breaking clauses added to the original encoding of the problem for that value of s as a SAT instance in order to obtain s?.cnf.</li> <li>A folder unsat-s? containing one log file for reach assignment in s?.dnf.</li> </ul>