Skip to content
This repository has been archived by the owner on Aug 23, 2024. It is now read-only.

Issues: Boolector/boolector

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

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
Some additional SMTLib2.6 support feature New feature or request wontfix This will not be worked on
#139 opened Jul 17, 2020 by robdockins
ProTip! Updated in the last three days: updated:>2024-12-12.