GitHub repository: testJota/stochastic-checking-simulation-test
Primary language: Go
Description: Testing new witness-set selection mechanisms.