Hacker News Reader

What about performances versus minisat/glucose/lingeling/... Do you plan to parallelize it? If so, using which technique

For the moment, it is in the sat4j ballpark. Parallelization will probably happen in the remote future.