demo/simann_maxcut_demo.lgf
changeset 2172 4b25e7003868