Problemas com a utilização do Z3 para o MAX-SAT

Draggable e redimensionável em JqueryUI para uma imagem não está funcionando?

Como alterar o namespace padrão para recursos incorporados com o MSBuild?