Gravar-mail: Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming