demo/simann_maxcut_demo.lgf
changeset 2261 c52b572c294f