This repository has been archived by the owner on Aug 23, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 64
Issues: Boolector/boolector
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Btormc Support for Multi-dimensional Arrays
wontfix
This will not be worked on
#230
opened Aug 9, 2024 by
xjiang47
make failing for Python API with Python version 3.11.8
wontfix
This will not be worked on
#229
opened Jun 25, 2024 by
adwait
configure python support with a non-global python version
wontfix
This will not be worked on
#228
opened Jun 25, 2024 by
adwait
The test 'bv' doesn't finish in 8 mins
wontfix
This will not be worked on
#227
opened Jun 6, 2024 by
yurivict
PyBoolector metadata version mismatch causing install failure
wontfix
This will not be worked on
#224
opened May 9, 2024 by
enathang
BtorMC --kind not converging
wontfix
This will not be worked on
#220
opened Feb 2, 2024 by
cgjohannsen
FileNotFoundError when installing on windows
wontfix
This will not be worked on
#218
opened Dec 20, 2023 by
hnaganur
How to install pyboolector for pypy
wontfix
This will not be worked on
#215
opened Oct 31, 2023 by
see01995
Make error while running btor2tools
wontfix
This will not be worked on
#214
opened Oct 13, 2023 by
prathiksha97
install error on macos 13.4.1
wontfix
This will not be worked on
#209
opened Aug 13, 2023 by
hanfeng0114
Stuck rewriting in rewrite_eq_exp
wontfix
This will not be worked on
#205
opened Dec 12, 2022 by
jix
install pyboolector failed on python 3.11 macos
wontfix
This will not be worked on
#204
opened Nov 20, 2022 by
songzenghui
PyBoolector install via PIP fails on x86_64 MacOS
wontfix
This will not be worked on
#191
opened Apr 10, 2022 by
lwerdna
PyBoolector not working on ARM64 M1 MAC ?
wontfix
This will not be worked on
#180
opened Jan 2, 2022 by
EngRaff92
Assertion violation at src/btornode.c:1998
wontfix
This will not be worked on
#160
opened Oct 17, 2020 by
rainoftime
Refutation soundness bug on bit-vector formulas
wontfix
This will not be worked on
#159
opened Oct 17, 2020 by
rainoftime
Assertion violation at src/btordbg.c:322
wontfix
This will not be worked on
#158
opened Oct 17, 2020 by
rainoftime
Assertion violation at src/btorexp.c:1875
wontfix
This will not be worked on
#157
opened Oct 17, 2020 by
rainoftime
Assertion violation at src/btorexp.c:1874
wontfix
This will not be worked on
#155
opened Oct 17, 2020 by
rainoftime
Assertion violation at src/preprocess/btornormquant.c:373
wontfix
This will not be worked on
#154
opened Oct 17, 2020 by
rainoftime
Assertion violation at src/btordbg.c:375
wontfix
This will not be worked on
#153
opened Oct 17, 2020 by
rainoftime
Non-deterministic assertion error at src/btorslvquant.c:1054
wontfix
This will not be worked on
#152
opened Oct 16, 2020 by
rainoftime
Solution soundness bug on BV formulas (--quant-ms)
wontfix
This will not be worked on
#145
opened Aug 25, 2020 by
rainoftime
Potential performance issue on QF_ABV formulas
performance
wontfix
This will not be worked on
#144
opened Aug 22, 2020 by
rainoftime
Some additional SMTLib2.6 support
feature
New feature or request
wontfix
This will not be worked on
#139
opened Jul 17, 2020 by
robdockins
Previous Next
ProTip!
Updated in the last three days: updated:>2024-12-12.