z3

npm package

8 of 24,465 tracked desktop apps (0%) use z3. Detected on both macOS (3) and Windows (5).

How many desktop apps use z3?

Apps using

Total tracked

24,465

Adoption rate

macOS / Windows

3 / 5

Adoption across all tracked desktop apps0%

Top desktop apps using z3, ranked by Homebrew installs.

#	App	Platform	Installs (365d)
1	angr-management	macOS	—
2	angr-management	Windows	—
3	Code::Blocks with MinGW	Windows	—
4	codeblocks-mingw	Windows	—
5	Coq Proof Assistant v8.20.1	macOS	—
6	dafny	Windows	—
7	PrusaSlicer	macOS	—
8	The official angr GUI.	Windows	—

24,465 apps analyzed · Updated with each extraction run