demo/simann_maxcut_demo.lgf
changeset 2052 c54ce7a5f4e7