Removed official virtual machine module
Added sumbodule vm with constraint programming support