3 ms·

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

• sacado2 9y ago
  For the moment, it is in the sat4j ballpark. Parallelization will probably happen in the remote future.