The readme in /contrib/scripts/enumpoly suggests that the script /contrib/scripts/enumpoly/enumpoly.py is more reliable than gambit-enumpoly. Is this still the case or has gambit-enumpoly been updated since?
I am having some trouble getting enumpoly.py to work. It seems the python extension has changed since the script was written.
The readme in /contrib/scripts/enumpoly suggests that the script /contrib/scripts/enumpoly/enumpoly.py is more reliable than gambit-enumpoly. Is this still the case or has gambit-enumpoly been updated since?
I am having some trouble getting enumpoly.py to work. It seems the python extension has changed since the script was written.