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