demo/simann_maxcut_demo.lgf
changeset 2583 7216b6a52ab9