Ecosyste.ms: Docker

An open API service providing dependency metadata for docker images.

Package Usage : nuget : Microsoft.Z3

Explore the latest package usage data for Microsoft.Z3 in the nuget ecosystem, including detailed information on package dependencies and their usage.

Total dependents: 11
Total downloads: 39,808

More details on packages.ecosyste.ms - JSON

seahorn/seahorn-llvm10 nightly

An analysis framework for LLVM 10

  • version: 4.8.9
Latest release: almost 2 years ago - 23,219 downloads - 580 dependencies
seahorn/buildpack-deps-seahorn jammy-llvm14

  • version: 4.8.9
Latest release: almost 2 years ago - 9,550 downloads - 559 dependencies
seahorn/clam-llvm10 nightly

Static Analysis based on Abstract Interpretation for LLVM 10

  • version: 4.8.9
Latest release: almost 2 years ago - 1,262 downloads - 584 dependencies
seahorn/seahorn-llvm14 nightly

  • version: 4.8.9
Latest release: almost 2 years ago - 3,450 downloads - 559 dependencies
seahorn/seahorn-builder bionic-llvm10

  • version: 4.8.9
Latest release: almost 4 years ago - 268 downloads - 582 dependencies
seahorn/smartace baijiu

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

  • version: 4.8.9
Latest release: about 3 years ago - 37 downloads - 1,251 dependencies
lsk567/verifier latest

  • version: 4.8.8
Latest release: over 1 year ago - 5 downloads - 1,052 dependencies
svftools/teaching-software-analysis latest

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

  • version: 4.8.8
Latest release: about 1 year ago - 1,899 downloads - 333 dependencies
baolean/ethbmc latest

  • version: 4.12.1.0
Latest release: over 1 year ago - 31 downloads - 1,572 dependencies
guannanwei/gensym icse23

  • version: 4.8.12
Latest release: over 1 year ago - 25 downloads - 970 dependencies