 
- need to have clingo installed
- for now, uses the gringo-3.0.3-x86-linux binary

python compute_max_omission.py <graph_facts> <semantics> <omission_type> <all_max> <omit-pred>

         
<graph_facts> : a file containing facts about the arg(),att() and 
                the constraint on which argument is expected to be in()
                example: adm_ex.lp

<semantics> :   adm
                stable
                grounded
                
<omission_type> : 0 - do omission only on the arg(), att() atoms
                  1 - do omission on all atoms
                  2 - do omission on atoms with given predicates in <omit-pred>
                  3 - do omission on atoms with given predicates in <omit-pred> with omission dependency (if arg(X) is omitted in(X),out(X),defeated(X),ndefended(X) is also omitted)
                
<all_max> : 0 - use clingo to get one maximum solution
            1 - use asprin to get all maximum solutions (asprin should be installed)
            
<omit-pred> : list of predicates to omit (e.g., att,arg,in,out)
              also need to set <omission_type>=2
              
              
Example:
            python compute_max_omission.py adm_ex.lp adm 1 0                    ---> do omission for adm on all atoms by using clingo
            python compute_max_omission.py adm_ex.lp adm 2 0 arg,att,out,in     ---> do omission for adm on arg,att,out,in by using clingo 
            python compute_max_omission.py adm_ex.lp adm 3 0 arg,att,out,in     ---> do omission for adm on arg,att,out,in by using clingo with omission dependency
