https://doi.org/10.5281/zenodo.13958179
| File | Mode | Size |
|---|---|---|
| venv | ||
| CONTRIBUTORS.md | -rw-r--r-- | 158 bytes |
| Exceptions.py | -rw-r--r-- | 772 bytes |
| LICENSE | -rw-r--r-- | 11.1 KB |
| README.md | -rw-r--r-- | 6.1 KB |
| main.py | -rw-r--r-- | 7.7 KB |
| requirements.txt | -rw-r--r-- | 32 bytes |
| start.sh | -rw-r--r-- | 179 bytes |
| svcomp.c | -rw-r--r-- | 3.5 KB |
| tweaks.py | -rw-r--r-- | 2.1 KB |
| witness2ast.py | -rw-r--r-- | 10.9 KB |
README.md
Loading README.md ...
