Ecosyste.ms: Docker

An open API service providing dependency metadata for docker images.

Package Usage : maven : z3:z3

Explore the latest package usage data for z3:z3 in the maven ecosystem, including detailed information on package dependencies and their usage.

Total dependents: 14
Total downloads: 40,222

More details on packages.ecosyste.ms - JSON

seahorn/seahorn-llvm10 nightly

An analysis framework for LLVM 10

  • version: *
Latest release: about 2 years ago - 23,651 downloads - 580 dependencies
seahorn/buildpack-deps-seahorn jammy-llvm14

  • version: *
Latest release: about 2 years ago - 11,390 downloads - 559 dependencies
seahorn/clam-llvm10 nightly

Static Analysis based on Abstract Interpretation for LLVM 10

  • version: *
Latest release: about 2 years ago - 1,269 downloads - 584 dependencies
seahorn/seahorn-llvm14 nightly

  • version: *
Latest release: about 2 years ago - 7,621 downloads - 559 dependencies
bannsec/pysym latest

Python Symbolic Execution of Python

  • version: *
Latest release: over 5 years ago - 391 downloads - 217 dependencies
seahorn/seahorn-builder bionic-llvm10

  • version: *
Latest release: about 4 years ago - 277 downloads - 582 dependencies
seahorn/smartace baijiu

  • version: *
Latest release: over 3 years ago - 62 downloads - 607 dependencies
seahorn/verify-openzeppelin anise

  • version: *
Latest release: over 3 years ago - 37 downloads - 1,251 dependencies
rshariffdeen/nopol latest

  • version: 0.0.1, *
Latest release: about 2 years ago - 41 downloads - 491 dependencies
mehmetserefoglu/modelix-ws-manager-rest latest

  • version: *
Latest release: almost 2 years ago - 9 downloads - 2,294 dependencies
lsk567/verifier latest

  • version: *
Latest release: almost 2 years ago - 8 downloads - 1,052 dependencies
svftools/teaching-software-analysis latest-aarch64

https://github.com/SVF-tools/Teaching-Software-Analysis

  • version: *
Latest release: 9 months ago - 3,666 downloads - 333 dependencies
baolean/ethbmc latest

  • version: *
Latest release: almost 2 years ago - 31 downloads - 1,572 dependencies
guannanwei/gensym icse23

  • version: *
Latest release: almost 2 years ago - 25 downloads - 970 dependencies