Data

Tools

Indexes

Applications

Experiments

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
Showing first 100 dependents

More details on packages.ecosyste.ms - JSON

seahorn/verify-openzeppelin anise

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

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

  • version: *
Latest release: almost 3 years ago - 21 downloads - 2,294 dependencies
baolean/ethbmc latest

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

  • version: *
Latest release: almost 3 years ago - 74 downloads - 970 dependencies
seahorn/seahorn-llvm10 nightly

An analysis framework for LLVM 10

  • version: *
Latest release: over 3 years ago - 23,874 downloads - 580 dependencies
seahorn/buildpack-deps-seahorn jammy-llvm14

  • version: *
Latest release: about 3 years ago - 13,420 downloads - 559 dependencies
seahorn/seahorn-llvm14 nightly

SeaHorn Verification Framework (https://github.com/seahorn/seahorn)

  • version: *
Latest release: about 3 years ago - 13,839 downloads - 559 dependencies
svftools/teaching-software-analysis latest-arm64

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

  • version: *
Latest release: 10 months ago - 6,672 downloads - 333 dependencies
seahorn/clam-llvm10 nightly

Static Analysis based on Abstract Interpretation for LLVM 10

  • version: *
Latest release: over 3 years ago - 1,308 downloads - 584 dependencies
seahorn/smartace baijiu

  • version: *
Latest release: over 4 years ago - 149 downloads - 607 dependencies
lsk567/verifier latest

  • version: *
Latest release: almost 3 years ago - 26 downloads - 1,052 dependencies
bannsec/pysym latest

Python Symbolic Execution of Python

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

  • version: *
Latest release: about 5 years ago - 284 downloads - 582 dependencies