Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 2.3% downloads on nuget.org

nuget.org : boogie.provers.smtlib

Package Description

Registry - JSON
purl: pkg:nuget/boogie.provers.smtlib
License:
Latest release: about 2 months ago
First release: over 3 years ago
Dependent packages: 3
Downloads: 377,314 total
Last synced: 17 days ago

Readme