Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 31 | log plain |
-rw-r--r-- | README.md | 6357 | log plain |
-rw-r--r-- | cache.md | 44414 | log plain |
-rw-r--r-- | cache.pickle | 36590 | log plain |
-rw-r--r-- | cannot_solve.md | 7128 | log plain |
-rw-r--r-- | cannot_solve.pickle | 4715 | log plain |
-rw-r--r-- | flake.lock | 534 | log plain |
-rw-r--r-- | flake.nix | 1331 | log plain |
-rw-r--r-- | solve.py | 22576 | log plain |