gambitproject/gambit — pull request #150 by jchbenjamin (2014-08-07 00:10:40+00:00)
Title: Gambit jb strategysupportprofile

StrategySupport refactored to StrategySupportProfile

also see nfgsimpdiv.cc for slight change