demo/simann_maxcut_demo.lgf
changeset 2017 6064fd33807c