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.