3 ms·
This is for testing a ballot verification system. > The generation script (generate.py) enables the generation of semi-randomized ballots that fit certain sati
by primitivesuave 2y ago
This is for testing a ballot verification system.
> The generation script (generate.py) enables the generation of semi-randomized ballots that fit certain satisfiability criteria. We use these sample ballots as tests for model functionality.