demo/simann_maxcut_demo.lgf
changeset 2276 1a8a66b6c6ce