αρχείο Email: Orthology and paralogy constraints: satisfiability and consistency