SatChanGen.sln
changeset 5 29ccfbf98e54