Alternative splicing is a biological process occurring in post-transcriptional regulation of RNA. Through the elimination of selected introns, alternative splicing allows the generation of several kinds of mature RNA from the same premessenger RNA. The resulting combinatorial complexity contributes to biological diversity, especially in the case of the human immunodeficiency virus (HIV-1). Recent biological studies show the impact that SR proteins have on the dynamics of post-transcriptional regulation via the control of the splicing process. Constraint programming seems well-suited for modeling alternative splicing regulation because it allows one to handle partial or incomplete information. Each constraint gives one piece of information on the system that is studied. The overall knowledge is accumulated in the constraint store. Using a hybrid constraint programming (hybrid cc) approach, we develop a model of the alternative splicing regulation in HIV-1. Our model integrates different scales (single splicing site vs.\ multiple splicing sites), and thus allows us to exploit several types of experimental data available to us. The ultimate goal is to obtain a model that can be validated qualitatively both on the scale of a single splicing site and on the scale of the whole HIV-1, in order to represent the global effect of alternative splicing in the HIV-1 cycle.