Alexey Ignatiev

Thanks. And if I'm not? :)

Thank you for the pointer!

Hi @holzschu, thank you for the effort! It is a pity that it is hard to make it work and that it looks like not paying off. However, I do...

Wow, @mikand, thanks a lot for such a quick and constructive result!

@algebravic, could you please explain what kind of constraint you need here?

OK, I see what you mean now. It would be indeed nice to have a separate module providing CNF encodings for a list of typical constraints, including this one and...

Hi @ChrisJefferson, well, it would be nice to have this kind of control of the solver and be able to set any available parameter. Currently, this is not supported. Unfortunately,...

I am not sure this is the best solution. I would rather prefer to have something like `solver.set_option('rnd-init', True)` where `solver` is a concrete object of class `Solver`.

No, I meant to set the options **after** the solver is created. Something like: ``` g = Solver(name='g3') g.set_option('rnd-init', True) g.set_option('rnd-init', False) g.delete() ```

Regarding "which ones you can change in advance", this is indeed unclear. Dealing with all the possible solver options is complicated and messy and this is the reason for it...