Search Docker Hub
(1)
Show more
More categories
More architectures
Z3 compiled from source with a given version of LLVM
2y
8.3K
3y
50K+
Z3 Interface
7y
1.6K
z3 image to reuse in docker
8y
1.2K
Z3 is a theorem prover from Microsoft Research.
1.3K
1
4.3K
4y
1.7K
The Z3 Theorem Prover
201
5y
1.5K
932
920
zeeqs
6y
1.1K
989
1y
984
967
957
916
898
25d
361
8m
254
158
204
147
166
111
135
123