A Markov constraint satisfaction problem solver