pysat

pysat copied to clipboard

cryptosat solver is listed, but can't be used

5

On linux, when looking up the available solvers with ``` from pysat.solvers import SolverNames print(vars(SolverNames).items()) ``` we find the solver 'cryptosat', but the program crashes when trying to use this...

Wout4

Obtaining equisatisfiable CNF

1

Hello, this might be a documentation issue. I am a novice user (also not familiar with Python) and I was puzzled for a while trying to obtain an equisatisfiable CNF...

nano-o

`ITotalizer` does not accept an `IDPool

2

Hi all, Previously I used the `CardEnc` class to encode size constraints. I need multiple constraints and so I used a single `IDPool` and passed it along all of the...

Jaxan

Trying to set incremental mode, but not compiled properly for this.

2

I get the error `Trying to set incremental mode, but not compiled properly for this.` when trying to instantiate `Solver(name="g42", incr=True)` How can I recompile the appropriate component to support...

egolf-cs

using pbenc or atmost function from cadical195 do not yield expected result

4

Hi, I am new to SAT solving in general. I am coming from ILP/SMT and want to learn solving things in SAT. One problem that I keep running into is...

KittehKing