Modified MinCol encoding to work with new ASP interface. But the results are wrong at the moment.