| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .envrc | 10 | log plain |
| -rw-r--r-- | .gitignore | 26 | log plain |
| -rw-r--r-- | README | 47 | log plain |
| -rw-r--r-- | flake.lock | 3211 | log plain |
| -rw-r--r-- | flake.nix | 1477 | log plain |
| -rw-r--r-- | solve.py | 6798 | log plain |
| -rw-r--r-- | tools.py | 2222 | log plain |
 |
index : canal-view-z3.git | |
| canal view solver with z3 | tzlil |
| summary refs log tree commit diff |