issues
search
pysathq
/
pysat
A toolkit for SAT-based prototyping in Python
https://pysathq.github.io/
MIT License
386
stars
69
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Formulas are encoded multiple times when documentation says they should not be
#179
vgklein
opened
1 week ago
1
Trying to set incremental mode, but not compiled properly for this.
#178
egolf-cs
opened
2 months ago
2
using pbenc or atmost function from cadical195 do not yield expected result
#177
KittehKing
opened
2 months ago
4
cryptosat solver is listed, but can't be used
#176
Wout4
opened
2 months ago
5
Obtaining equisatisfiable CNF
#175
nano-o
opened
2 months ago
1
the s->prop_check(a, p, save_phase) in solvers/pysolvers.cc
#174
zhangran7
closed
3 months ago
3
`ITotalizer` does not accept an `IDPool
#173
Jaxan
opened
4 months ago
2
fix MUCX
#172
brossignol
closed
4 months ago
3
docs(formula): fix rendering of the `Implies` class in the `pysat.formula` module docstring
#171
ruancomelli
closed
5 months ago
1
Fix cleanup and CNF vpool updating
#170
brossignol
closed
5 months ago
5
solve returns false, but the formula is satisfiable
#169
ningit
closed
5 months ago
6
Fix Neg clausify
#168
brossignol
closed
5 months ago
30
Protect True and False Atom from .cleanup
#167
brossignol
closed
5 months ago
11
fix XOr simplified
#166
brossignol
closed
5 months ago
0
fix issue #164 simplified fails with XOr
#165
brossignol
closed
5 months ago
0
simplified fails with XOr
#164
brossignol
closed
5 months ago
6
(p ↔ p) simplifies to p
#163
ningit
closed
6 months ago
6
MUS extraction unsupported for CNF with either OptUX and MUSx ?
#162
fransab
closed
6 months ago
2
Retrieve partial solution
#161
TraianDobrin
closed
6 months ago
1
Atom constructor reuses wrong object from store
#160
maweki
closed
6 months ago
2
Method to get list of clauses after propagation?
#159
gdowdy3
closed
6 months ago
2
Clausification of nested Implication fails
#158
maweki
closed
6 months ago
15
Very slow useless (?) deepcopy in from_clauses
#157
vincent-hugot
closed
7 months ago
4
Release version mismatch between pypi and github
#156
hoodmane
closed
6 months ago
4
Incorrect sign convention in CryptoMinisat core
#155
noajshu
closed
8 months ago
2
How to use a custom SAT solver within PySAT?
#154
piyush-J
closed
6 months ago
1
Obtaining cores with solve_limited
#153
ozan-cb
closed
8 months ago
2
Fix typo in latest commit
#152
ghost
closed
9 months ago
1
Docs: `BeyondNP` link is broken
#151
ghost
closed
9 months ago
2
Extracting learned clauses (during a search)
#150
MushroomHunting
closed
9 months ago
4
Unused variables do not occur in model
#149
LemarAb
closed
9 months ago
11
pep 517 error
#148
algebravic
closed
9 months ago
5
Flat list before chaining iterables in formula.py
#147
ElisabettaV4t1qbit
closed
1 year ago
1
Error when reading a CNF formula from file
#146
ElisabettaV4t1qbit
closed
9 months ago
8
Unexpected MaxSat Solution from `RC2`
#145
gdowdy3
closed
9 months ago
3
No wheels for Python 3.11 on x86-64
#144
embe-pw
closed
9 months ago
2
`propagate()` on empty assumptions does not perform unit propagation?
#143
aur3l14no
closed
1 year ago
2
Change patching method for Windows
#142
Lorenz-Jan
closed
5 months ago
0
Add possibility to exclude MIT license incompatible solvers
#141
Lorenz-Jan
closed
5 months ago
1
Seemingly incorrect results when using pseudo-boolean constraints
#140
benwh1
closed
1 year ago
2
get_proof() doesn't work for all solvers
#139
marino-mrc
opened
1 year ago
1
FIX: get_proof() doesn't work in Glucose 4.2.1
#138
marino-mrc
closed
1 year ago
2
get_proof doesn't work in Glucose 4.2.1
#137
marino-mrc
closed
1 year ago
1
get_proof doesn't work in Glucose 4.2.1
#136
marino-mrc
closed
1 year ago
2
Adding Support for Glucose 4.2.1
#135
marino-mrc
closed
1 year ago
9
Guidelines on patches
#134
marino-mrc
closed
1 year ago
17
Cardinality constraints using different encodings give different outputs
#133
claudiugheorma
closed
1 year ago
3
Fix bug in RC2 related to partial introduction of new counters
#132
aoertel
closed
1 year ago
1
extracting the number of SAT oracle calls through the API
#131
strl2022
opened
1 year ago
1
Fixed PyData Sphinx theme version
#130
RexYuan
closed
1 year ago
1
Next