demo/simann_maxcut_demo.lgf
changeset 2075 d4d1f6ca5c23