+specs full_arbiter for 3/4 clients;
better logging, better README, converter with caching (crucial for my naive cincr implementation)
pep8 reformatting
fix logging
better tests set for parameterized case
better default values
added --help to README
better smt formatting
fix: changed is_active to is_active = sched + sends_prev*sched_prev + sends*sched_next
+benchmark: cancellable full arbiter
fix bug: func description should sort inputs accounting for indices
bug fix: redefined active_i = sched_i + sched_i_1*sends_i_1, and also prev = sched_prev*sends_prev, we still don't allow process sending the token to change its mind.