Add .as_float to convert mixed profiles to floating-point equivalents - #1090

Add .as_float to convert mixed profiles to floating-point equivalents#1090

tturocy merged 1 commit into

mastergambitproject/gambit:masterfrom

issue_721gambitproject/gambit:issue_721Copy head branch name to clipboard