Integrated mix net. Terminal doesn't seem to be working as is.
Merge branch 'master' of github.com:jaegs/voting_system