pysat
pysat copied to clipboard
pysathq
A toolkit for SAT-based prototyping in Python
Hello - We have an algorithm which maintains a set of structures. In each iteration, we assert new values using _solve(assumption)_ to assign new values to those structures. In this...
I was wondering if there is any current support for parallelisation (I want to solve multiple SAT problems at the same time). Is either Python threads (you could release the...
I have a script which is supposed to be able to process both DIMACS and another input format (list of graph6 representations of formulas). The method I use to distinguish...
Most (all?) of the solvers use randomness, and have a command option to set the random seed, for reproducibility. What does pysat do about that? It would be nice to...
The latest contest results are out, and we have a new top-solver: http://fmv.jku.at/kissat/ It's an improved version of CaDiCaL, and so hopefully not a big undertaking to include. In a...
I've been using pysat to do some systematic exploration on the effect of encodings for a particular class of combinatorial problems. I've run a bunch of solvers with all combinations...
From the documentation one can use solve_limited with expect_interrupt to get a SAT solver to terminate for some external reason -- like a time limitation. However, not all of the...
I want to be able to set the random seed of the solver -- now I could add a special option for this, but it might be nicer to just...
Dear Pysat developer's team, Thanks for creating such a useful toolkit. I want to solve a SAT problem encoded as a CNF. I am using the following commands to read...
Would be great if pysat supports CNF formula simplification :) Thanks
