satsyn - Check if weak convergence is possible
satsyn - Check if weak convergence is possible

1. We can cut a branch early if we can show a weakly stabilizing
   protocol cannot exist given the current set of rules being tested.
   This speeds up the search A LOT!
   (n=2, n=3, and n=4 are now feasible).
  a. satsyn.c  synsearch()

grencez/protocon,grencez/protocon,grencez/protocon,grencez/protocon