Popular repositories Loading

1. PunchOutModelSynthesis PunchOutModelSynthesis Public

   Punch Out Model Synthesis - a program for constraint based tiling generation

   JavaScript 21 2

2. PunchOutModelSynthesis-Paper PunchOutModelSynthesis-Paper Public

   Paper source for the Punch Out Model Synthesis algorithm

   JavaScript 1

3. GridHam2D-Lean GridHam2D-Lean Public

   A lean proof of the Itai–Papadimitriou–Szwarcfiter theorem that characterizes Hamiltonian paths in 2d rectangular grid graphs.

   Lean 1 1

4. R2K2ZZN R2K2ZZN Public

   Source code, Lean proof and paper for a polynomial time algorithm to find a two path Zig-Zag Numberlink in a 2D rectangle.

   Lean 1

5. SolidGridGraphHamiltonianCycle2D-Lean SolidGridGraphHamiltonianCycle2D-Lean Public

   Lean proof of Umans and Lenharts polynomialt time algorithm for finding Hamiltonian cycles in 2D solid grid graphs

   Lean 1

6. SolidGridGraphHamPath SolidGridGraphHamPath Public

   Polynomial time algorithm for Hamiltonian Paths in 2D solid grid graphs

   Lean 1 1