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.
Overview
Last modified 9 years ago
Last modified on Sep 23, 2014, 3:12:24 PM