2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
python2-z3 4.8.4-1 1 0.80 High-performance theorem prover ulyssesrr
rocm-opencl-runtime 2.4.0-1 14 2.63 ROCm OpenCL™ Compatible Runtime ulyssesrr

2 packages found. Page 1 of 1.