dmitrygusev

↗ HN profile [ 16.2 ms ] full profile

Karma: 5
Created: January 20, 2011 (15y ago)
Submissions: 0

With what error? Can you please file an issue here: https://github.com/anjlab/sat3/issues and provide link to CNF file?

15y ago · view thread · ↗