This repository was archived by the owner on Aug 23, 2024. It is now read-only.
Issues: Boolector/boolector
Issues list
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
Add support for the (reset) SMTLIB command
feature
New feature or request
wontfix
This will not be worked on
#32
opened Jan 20, 2019 by
sy6sy2
Set timeout on the fly, using command line interface
feature
New feature or request
wontfix
This will not be worked on
#18
opened Sep 5, 2018 by
Joool
ProTip!
no:milestone will show everything without a milestone.