Comment by larelli | Hacker News Reader

Top New Best Ask Show Jobs

Comment by larelli | Hacker News Reader

Parent Full thread

I tried running the code on Pigeon Hole Problems, but it crashed. :(

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

Reply on news.ycombinator.com