demo/simann_maxcut_demo.lgf
changeset 2048 b1a605b2f03c