removed readdimacs function (not yet relevant)