Describir: Finite generalized Markov programming /