= KConfig !ModelTranslator =

The KConfig !ModelTranslator translates *.model or *.rsf files created by [https://github.com/ckaestne/kconfigreader KConfigReader] into DIMACS or IVML format. The latest stable build can be downloaded from [http://jenkins.sse.uni-hildesheim.de/job/KConfig%20ModelTranslator/lastSuccessfulBuild/artifact/build/jar/ModelTranslator.zip here].

== Overview ==
* [wiki:Specification]
* [wiki:Documentation]