C
ore
to
M
urphi
Leader's Election
Elect a leader from several candidates.
Description
Core program
Murphi program
Log file
All files (zip)