Skip to content

No labels!

There aren’t any labels for this repository quite yet.

27 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
API usability / compile
API usability / compile
13
Arithmetic
Arithmetic
3
Arm64
Arm64
bug
bug
3
build/release
build/release
build and release scripts and process
4
Conseq
Conseq
get-consequences functionality
Debug
Debug
Debug branch issues
dependencies
dependencies
Pull requests that update a dependency file
duplicate
duplicate
enhancement
enhancement
8
external
external
Floats
Floats
6
github_actions
github_actions
Pull requests that update GitHub Actions code
help wanted
help wanted
3
Horn
Horn
12
javascript
javascript
Pull requests that update Javascript code
4
nlsat
nlsat
Non-linear polynomial solver
2
no-repro
no-repro
1
Opt
Opt
other platforms
other platforms
Issue that relates to Z3 on platforms other than the ones tested by the build process
1
performance
performance
Issues that relate primarily to the performance of Z3, such as timeouts
7
qe
qe
1
qel
qel
1
question
question
string
string
17
wontfix
wontfix
z3str3
z3str3
18