Version 4 (modified by elshar, 5 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.

Overview