demo/simann_maxcut_demo.lgf
changeset 2571 f5c6e63f51d1