make mopsy fonts larger for video
leave env buttons in mopsy enabled so that they have black text instead of gray
Merge branch 'development' of github.com:LTLMoP/LTLMoP into development
Fixed the error observed by Bingxin where a trivial automaton was not being output. Also fixed a minor typo in GROneDebug
counterstrategy -- \rho 4 transitions need p_J instead of rank_j to avoid exception. also, added function controlStates (since the in-built controlStates is wrong) to replace yieldStates where appropriate
\rho 4 transitions need not always violate system goal p_j, just has to go back into the appropriate X-set
Merge branch 'development' of github.com:LTLMoP/LTLMoP into development
GROneDebug justiceChecks now use all environment livenesses
fixes problem of multi-step unsat showing up as unreal because of how the check for 'counterstrategy = TRUE' was done
viewint hte automaton now spits out a smv file. the file may have some excessive whitespace and won't be pretty, but will work with NuSMV
Merge branch 'development' of github.com:LTLMoP/LTLMoP into development
Merge branch 'development' of github.com:vraman/LTLMoP into cores
Merge branch 'nusmv' into cores
pythonified the greps and seds
added code to deal with the case where the nth env liveness is unrealizable (edge case needs special treatment)
unsat core for single step, without cleaning up
unsat core for single step, cleaned up a little
removed unused function
can now handle single-step unsat between trans and goals, except for the case where toggling is necessary (see comment in fn _highlightedConjuncts_
replace controlStates(env,sys,*) with sys.yieldStates(env,*). TODO: why are these not equivalent?