adding a new self-contained example - two_regions_door_coarse_unicycle
for livelock, only need one edge to be cut for each goal
correction to deadlock extraction
loading symbolic strategy from file during interactive execution
bugfix to bdd loading
cleaner cuts
replace implies with and in livelock cut condition
adding placeholder for the new counterstrategy clauses extension
extracted deadlock transitions and can output to the terminal
added function to print clauses from BF
added foundCutPostConditions with clause extraction modified
config Tool.pro for installing SLUGS on Mac
correct extraction of transition clauses
added new clause printing fn for counterStrategy
corrected error in foundCutPostConditions including PostOutputs in counterStrategy
added auto iteration until the spec is realizable