https://github.com/rec0de/crowbar-investigator-experiments
Scripts & data from counterexample size experiments for the crowbar investigator
https://github.com/rec0de/crowbar-investigator-experiments
Last synced: about 1 year ago
JSON representation
Scripts & data from counterexample size experiments for the crowbar investigator
- Host: GitHub
- URL: https://github.com/rec0de/crowbar-investigator-experiments
- Owner: rec0de
- Created: 2020-09-15T19:08:35.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2020-10-08T18:42:24.000Z (over 5 years ago)
- Last Synced: 2024-04-19T22:45:46.566Z (about 2 years ago)
- Language: Ruby
- Size: 1.11 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0