Skip to content

Issues: pysathq/pysat

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

28 Open 110 Closed
28 Open 110 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

PBEnc atleast takes very large time on encoding = 0
#183 opened Dec 11, 2024 by anirjoshi
1
[BUG] Error while installing with Python 3.13 on Windows
#180 opened Oct 18, 2024 by EDM115
Formulas are encoded multiple times when documentation says they should not be bug Something isn't working
#179 opened Sep 23, 2024 by vgklein
2
Trying to set incremental mode, but not compiled properly for this. enhancement New feature or request
#178 opened Aug 1, 2024 by egolf-cs
2
using pbenc or atmost function from cadical195 do not yield expected result
#177 opened Jul 31, 2024 by alnugro
4
cryptosat solver is listed, but can't be used
#176 opened Jul 18, 2024 by Wout4
5
Obtaining equisatisfiable CNF enhancement New feature or request
#175 opened Jul 11, 2024 by nano-o
1
ITotalizer does not accept an `IDPool enhancement New feature or request
#173 opened Jun 5, 2024 by Jaxan
2
get_proof() doesn't work for all solvers bug Something isn't working
#139 opened Jul 16, 2023 by marino-mrc
1
extracting the number of SAT oracle calls through the API enhancement New feature or request
#131 opened May 22, 2023 by strl2022
1
negate enhancement New feature or request
#127 opened May 2, 2023 by algebravic
3
Support for lexicographic constraints enhancement New feature or request
#126 opened Apr 27, 2023 by algebravic
3
Skipping variable indices heavily impacts performance enhancement New feature or request
#120 opened Feb 12, 2023 by Tobs40
1
to_string enhancement New feature or request
#113 opened Sep 11, 2022 by yoni206
8
No exception raised when attempting to extract a CNF from an invalid file enhancement New feature or request
#104 opened Jan 21, 2022 by peitl
1
assumption in rc2 enhancement New feature or request
#90 opened Oct 6, 2021 by you-li-nu
6
random seeds in solvers enhancement New feature or request
#83 opened Jun 9, 2021 by algebravic
3
Solver version information enhancement New feature or request
#79 opened Apr 27, 2021 by algebravic
2
Time out for sat solvers enhancement New feature or request
#78 opened Apr 23, 2021 by algebravic
1
Parallel solving enhancement New feature or request
#70 opened Feb 8, 2021 by corazza
16
Include kissat enhancement New feature or request
#61 opened Jul 30, 2020 by haz
7
How to set the Solver's verbosity? enhancement New feature or request
#59 opened Jul 25, 2020 by hadipourh
5
Approximate model counters/Probabilistic solvers enhancement New feature or request
#58 opened Jul 11, 2020 by jpsety
36
How to run / add to tests? help wanted Extra attention is needed
#54 opened Jul 5, 2020 by ChrisJefferson
4
Ctrl+C causes Python interpreter with pysat loaded to crash not gracefully yield an exception bug Something isn't working
#53 opened Jul 4, 2020 by GregoryMorse
27
ProTip! Type g i on any issue or pull request to go back to the issue listing page.