demo/simann_maxcut_demo.lgf
changeset 2282 9d7b12f83daa