Viewing profile — dmitrygusev
dmitrygusev
HN member- Joined
- Thu, Jan 20, 2011, 9:00 AM UTC
- HN karma
- 5
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About dmitrygusev
No profile information was provided.
Recent public activity
-
comment
Comment #2123368
With what error? Can you please file an issue here: https://github.com/anjlab/sat3/issues and provide link to CNF file?