Implementation of VMPC generator and solver, source: http://permutu.pl/