For questions regarding the Python Satellite Data Analysis Toolkit, a package enabling the processing and analyzing of space science-related data. See https://pypi.org/project/pysat for more information.
Questions tagged [pysat]
4 questions
2
votes
1 answer
Does PySAT support parallel solving?
I'm using PySAT. Is there a threads number parameter somewhere? Or a packaged solver that can be parallelized in this way?
(Currently, I'm using the Glucose4 solver.)
corazza
- 31,222
- 37
- 115
- 186
1
vote
0 answers
Is there a way to get a random solution from pycosat every time I run it?
I am given a completely blank sudoku and I want that it should produce fairly different answers when executed.
Currently I am choosing a random integer say( x ) and iterate over solutions till I reach x:-
i=0
for lists in…
Uttam Kumar
- 11
- 2
0
votes
0 answers
Pysat: PBEnc.atmost
Hello, I can't understand the 2 examples of this library.
I tried to read but I can't understand why we obtain these clauses.
I can't understand the transformation from an inequality to these set of clauses.
I can't understand also the new…
0
votes
1 answer
How to solve a DNF-SAT problem with PySAT?
is there any support for DNF formulas with PySAT? For example, can I call a SAT solver on a DNF formula using this module. In particular is there any way to turn a DNF into CNF using this python module?
I looked at the documentation but there seems…
