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
Authors of "academic model checkers": I know that the competition does not contain trivial problems. But your tool is useless in the real world if it segfaults on trivial problems. On a totally unrelated topic: Any objections if I drop support for AVY in SymbiYosys? Grr..
Here is some more information in case anyone wants to investigate this issue further: https://github.com/YosysHQ/SymbiYosys/issues/54#issuecomment-532650108 ….
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.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
