CEO da Tyler Technologies, H Lynn Moore Jr., vende US$ 3,93 milhões em ações