Alexey Ignatiev

Well, it should have nothing to do with Glucose's command line. We should pick a set of parameters that may be worth accessing for changing the behavior of the solver...

OK, unless there are volunteers, I will not be able to find time for this any time soon. Sorry.

Thanks for your question! Actually, it's a shame that there are (almost) no tests in PySAT. :) If you want to prepare one, just create a Python file in `tests/`....

I forgot to mention that there is one example test in `tests`, which you may want to follow.

@dulanov, adding proper testing functionality is definitely still relevant. So your contribution here would be more than welcome! 🙂

Hi Hosein, You can't set verbosity of a solver. At this point, it is completely disabled. You can get some really basic statistics though by using `accum_stats()`.

Hi Hosain, I agree that it would be great to have this done. But I am not sure when/if I will time for this... Again, any volunteers are more than...

There are two parts that need to be changed here: (1) the `solvers` module and (2) the `pysolvers` C++ extension. Let me be honest: while doing part 1 is easy,...

Thanks for the kind words. I completely agree that adding more SAT-related technology in PySAT would be great. In particular, integrating some effective approximate model counting algorithms would be amazing....

@haz thanks a lot! It would be great to have it working here!