demo/simann_maxcut_demo.lgf
changeset 2506 216c6bd5c18c