gambitproject/gambit — pull request #43 by andrioni (2012-08-20 17:01:35+00:00)
Title: Support profiles and strategic restrictions

This pull request has all the work done until now on support profiles and strategic restrictions, representing the (currently) final decided structure.

The commit 18a293121 isn't indispensable, but it renames almost all functionality related to the now-called strategic restrictions.