pygambit Python extension

Remove integrated lrslib and call lrsnash as external tool. #1284

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
windows (3.12)	2m 33s
linux (3.9)	4m 32s
linux (3.12)	4m 37s
	11m 42s