demo/simann_maxcut_demo.lgf
changeset 2389 df6a32249b46