You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Do I understand correctly that the AIGER parser in AVY is less than perfect?
The parser is fine afaict (it's ABC's AIGER parser). But then it seems to assume certain things about the problem that it has parsed. Apparently those things happen to be true for the competition benchmarks, but aren't universally true for all AIGER files.
Ah, ok, I'm out of my depth to fix it then.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
