https://github.com/viperproject/smt-logs
Scripts to get logs from deductive verifiers
https://github.com/viperproject/smt-logs
Last synced: 12 months ago
JSON representation
Scripts to get logs from deductive verifiers
- Host: GitHub
- URL: https://github.com/viperproject/smt-logs
- Owner: viperproject
- License: apache-2.0
- Created: 2024-12-25T11:05:27.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-01-23T21:29:46.000Z (over 1 year ago)
- Last Synced: 2025-01-23T22:25:19.026Z (over 1 year ago)
- Language: Shell
- Size: 711 MB
- Stars: 0
- Watchers: 10
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE