Packages
sofya  
sofya.apps  
sofya.apps.atomicity  
sofya.apps.dejavu  
sofya.base  
sofya.base.exceptions  
sofya.ed  
sofya.ed.semantic  
sofya.ed.structural  
sofya.ed.structural.processors  
sofya.graphs  
sofya.graphs.cfg  
sofya.graphs.irg  
sofya.mutator  
sofya.mutator.operators  
sofya.mutator.selectors  
sofya.mutator.verifier  
sofya.tools  
sofya.tools.th  
sofya.viewers