3 ms·
I tried running the code on Pigeon Hole Problems, but it crashed. :(
by larelli 16y ago
I tried running the code on Pigeon Hole Problems, but it crashed. :(
- dmitrygusev 16y agoWith 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?