demo/simann_maxcut_demo.lgf
changeset 2561 ec5c56f0501e