generated new models with own kconfigreader tool
Merge remote-tracking branch 'origin/master'
support for arm
cleanup
commit reduced x86 dimacs file
minor model updates