Skip to content

Issues: Boolector/boolector

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

23 Open 121 Closed
23 Open 121 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

install error on macos 13.4.1
#209 opened Aug 13, 2023 by hanfeng0114
Stuck rewriting in rewrite_eq_exp
#205 opened Dec 12, 2022 by jix
install pyboolector failed on python 3.11 macos
#204 opened Nov 20, 2022 by songzenghui
PyBoolector install via PIP fails on x86_64 MacOS
#191 opened Apr 10, 2022 by lwerdna
10
PyBoolector not working on ARM64 M1 MAC ?
#180 opened Jan 2, 2022 by EngRaff92
5
Assertion violation at src/btornode.c:1998
#160 opened Oct 17, 2020 by rainoftime
1
Refutation soundness bug on bit-vector formulas
#159 opened Oct 17, 2020 by rainoftime
2
Assertion violation at src/btordbg.c:322
#158 opened Oct 17, 2020 by rainoftime
Assertion violation at src/btorexp.c:1875
#157 opened Oct 17, 2020 by rainoftime
Assertion violation at src/btorexp.c:1874
#155 opened Oct 17, 2020 by rainoftime
Assertion violation at src/preprocess/btornormquant.c:373
#154 opened Oct 17, 2020 by rainoftime
Assertion violation at src/btordbg.c:375
#153 opened Oct 17, 2020 by rainoftime
Non-deterministic assertion error at src/btorslvquant.c:1054
#152 opened Oct 16, 2020 by rainoftime
3
Solution soundness bug on BV formulas (--quant-ms)
#145 opened Aug 25, 2020 by rainoftime
@mpreiner
1
Potential performance issue on QF_ABV formulas performance
#144 opened Aug 22, 2020 by rainoftime
@mpreiner
1
Some additional SMTLib2.6 support feature New feature or request
#139 opened Jul 17, 2020 by robdockins
10
Non-deterministic assertion violation at btorslvquant.c:1049
#127 opened Jun 7, 2020 by rainoftime
Add support for dumping of incremental SMT2 formulas. feature New feature or request
#92 opened Apr 23, 2020 by aniemetz
@mpreiner @aniemetz
Python API not very pythonic feature New feature or request
#87 opened Mar 23, 2020 by Celelibi
6
Termination callback and boolector_pop() feature New feature or request
#84 opened Feb 20, 2020 by cdisselkoen
2
Add support for the (reset) SMTLIB command feature New feature or request
#32 opened Jan 20, 2019 by sy6sy2
@mpreiner
3
Python API support for boolector_get_failed_assumptions. feature New feature or request
#23 opened Oct 29, 2018 by aniemetz
@aniemetz
Set timeout on the fly, using command line interface feature New feature or request
#18 opened Sep 5, 2018 by Joool
@mpreiner
8
ProTip! Find all open issues with in progress development work with linked:pr.