VMPC solver implementation, source: http://permutu.pl/