comments, comments, comments
counterstrategy 'overgeneration' bug fixed
suppress debugging print statements
unrealizable corefinding with counterstrategy + sat solver
setting p_az was being too conservative. TODO: reformalize notaiton in counterstrategy paper a la synthesis paper, and check that what we have now makes sense
livelock unrealizability -- need to look at environment props in next state to find proper core
Update mopsy unsatCore call to new signature