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