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?

reproduzindo um arquivo .caf: funciona bem no simulador, mas não no iPhone