Changes between Version 3 and Version 4 of WikiStart


Ignore:
Timestamp:
Sep 23, 2014, 3:12:24 PM (10 years ago)
Author:
elshar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v3 v4  
    11= KConfig !ModelTranslator = 
    22 
    3 The latest stable build can be downloaded from [http://jenkins.sse.uni-hildesheim.de/job/KConfig%20ModelTranslator/lastSuccessfulBuild/artifact/build/jar/ModelTranslator.zip here]. 
     3The 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]. 
     4 
     5== Overview == 
     6* [wiki:Specification] 
     7* [wiki:Documentation]