demo/simann_maxcut_demo.lgf
changeset 2257 0a9393adc747