| Version 4 (modified by elshar, 10 years ago) (diff) |
|---|
KConfig ModelTranslator
The KConfig ModelTranslator translates *.model or *.rsf files created by KConfigReader into DIMACS or IVML format. The latest stable build can be downloaded from here.
| Version 4 (modified by elshar, 10 years ago) (diff) |
|---|
The KConfig ModelTranslator translates *.model or *.rsf files created by KConfigReader into DIMACS or IVML format. The latest stable build can be downloaded from here.