Boolector boolector issues

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

http://boolector.github.io

Other

332 stars 62 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Exposing Boolector's "version id" over the API

#26 aytey closed 5 years ago
1
Fixed bugs in processing of command-line options

#25 BrunoDutertre closed 5 years ago
1
CMake PythonLibs: Incorrect detection from within python virtual environment

#24 marcogario closed 5 years ago
9
Python API support for boolector_get_failed_assumptions.

#23 aniemetz closed 1 week ago
0
Example of quantifiers usage in python bindings

#22 marcogario closed 5 years ago
2
Bug in scope handling (SMT-LIB 2 parser)

#21 pkreutzer closed 5 years ago
2
Should uext bounds check?

#20 deian closed 5 years ago
3
Compile minisat with -fPIC

#19 makaimann closed 5 years ago
1
Set timeout on the fly, using command line interface

#18 Joool opened 6 years ago
9
Error with Array sort as input to function

#17 SeanHeelan closed 6 years ago
2
Error with Array sort as output from function with parameters

#16 SeanHeelan closed 6 years ago
1
Add documentation and patches for a Windows build

#15 aytey closed 5 years ago
4
Fixing expressions that depend on NDEBUG

#14 aytey closed 6 years ago
2
Fixing a use of the variable 'i' outside of NDEBUG

#13 aytey closed 6 years ago
0
Fixing a use of unassign_stack outside of NDEBUG

#12 aytey closed 6 years ago
0
SMT parser stuck in rewriting

#11 jamesbornholt closed 5 years ago
3
Python module name change

#10 marcogario closed 6 years ago
1
cmake: fixed race condition on cython dependencies

#9 marcogario closed 6 years ago
3
print-success: get-value response is not standards compliant

#8 LeventErkok closed 6 years ago
1
Fixing off-by-one issue in the encoding of `distinct` for SMT2

#7 aytey closed 6 years ago
1
Regression with SMT2 `distinct`

#6 jamesbornholt closed 6 years ago
2
Can't build boolector due to missing is_neg_exp reference

#5 deian closed 6 years ago
1
Test-suite failure in random1btor2

#4 aytey closed 6 years ago
3
Correcting include files to allow for particular symbols (e.g., WEXITSTATUS) to be visible

#3 aytey closed 6 years ago
1
Support for overriding Python search paths and for statically linking Python

#2 aytey closed 6 years ago
1
Ensure that Boolector is using the correct headers for the symbol S_IRWXU

#1 aytey closed 5 years ago
1