Skip to content

Issues: pysmt/pysmt

Beta
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

67 Open 259 Closed
67 Open 259 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

BV logic and get_logic_by_name()/get_logic()
#811 opened May 21, 2025 by jortvanleenen
Optimsat issues
#810 opened May 21, 2025 by Framba-Luca
3 tasks
Mathsat does not support arrays with boolean Type
#807 opened May 19, 2025 by Framba-Luca
Enhance type‐narrowing support via TypeGuard utilities
#804 opened May 18, 2025 by JanTomassi
1
CNFizer does not properly handle theory operations bug
#802 opened May 13, 2025 by nbailluet
@Framba-Luca
PySMT does not correctly use local variables in forall statements bug
#798 opened May 6, 2025 by marian-lingsch
@Framba-Luca
2
MathSAT5Solver all_sat method crashes with SIGSEGV
#786 opened Dec 6, 2024 by andreastedile
Any plans for Floating point support?
#783 opened Aug 13, 2024 by bavalpey
1
Add type-hints to pysmt code
#780 opened Jul 17, 2024 by enmag
2
Unable to use UFNRA
#777 opened Jul 13, 2024 by MikolasJanota
pyximport has no attribute 'build_module'
#776 opened Jun 29, 2024 by ntinouldinho
Substitution with term containing bound variables bug
#774 opened Jun 24, 2024 by maul-esel
1
Substituting Function Symbols without providing Interpretations
#767 opened Dec 6, 2023 by cvick32
3
distutils is removed from Python 3.12 standard library
#764 opened Oct 12, 2023 by hauff
@marcogario
1
Can't install the MathSAT solver on Mac OS Ventura + Apple silicon (M2)
#762 opened Jul 28, 2023 by paolomorettin
2
SMTLIB Parser cant parse MOD operation
#760 opened Jul 26, 2023 by ppadjin
1
Support Cython 3.0.0
#759 opened Jul 21, 2023 by kesslermaximilian
1
Fastest way to create a (big) model
#758 opened Jul 20, 2023 by MarcoMochi
3
Using solvers that are obtained by other means (such as homebrew)
#757 opened Jul 14, 2023 by algebravic
1
Add labels to the constraints to mimic assert_and_track from Z3 in pySMT
#752 opened Mar 14, 2023 by pkalita595
1
Failing to install solvers on Apple M1 chip
#751 opened Mar 14, 2023 by ninell-oldenburg
4
CNF conversion improvement
#743 opened Dec 16, 2022 by masinag
1
Converting PySMT formulas to Z3Py ones
#742 opened Dec 3, 2022 by panda2134
4
Division by constant
#741 opened Oct 10, 2022 by TuomLarsen
ImportError: No module named shortcuts
#737 opened Sep 26, 2022 by ashfaq92
5
ProTip! Updated in the last three days: updated:>2025-05-31.