Correct Encoding, early stages of logic recognition
Added package managin
Merge branch 'master' of https://github.com/jspades/vmpreview