3 ms·
With what error? Can you please file an issue here: https://github.com/anjlab/sat3/issues https://github.com/anjlab/sat3/issues and provide link to CNF file?
by dmitrygusev 16y ago
With what error?
Can you please file an issue here: https://github.com/anjlab/sat3/issues https://github.com/anjlab/sat3/issues
and provide link to CNF file?