add dimacs files etc for other architecture
Merge branch 'master' of github.com:ckaestne/TypeChef-LinuxAnalysis