Current collected state Current
Observed since 20 Oct, 22:58 UTC
No superseded metadata states collected. Unchanged observations do not create new revisions.
Back to packageRELEASE DETAILS
0.1.5
Maventools.refinery:refinery-store-reasoning-smt
SMT reasoner for the model store in Refinery, an efficient graph solver for generating well-formed models
PublishedUnknown
Direct dependencies—
Transitive dependenciesNot calculated
Downloads & popularity
Awaiting observationsNo metric observations yet
Download counts and popularity will appear here as the collector receives them.
Declared dependencies 0
Native requirements— direct targetsNot calculated transitive count
No declared dependencies in this collected response
Declarations describe requirements; they are not a resolved dependency graph.
Distribution files
11 collectedDistribution 1
Source distribution · 0.13 KB
Distribution 2
Source distribution · 0.13 KB
Distribution 3
Source distribution · 0.06 KB
Distribution 4
Source distribution · 0.13 KB
Distribution 5
Source distribution · 0.06 KB
Distribution 6
Source distribution · 1.3 KB
Distribution 7
Source distribution · 0.13 KB
Distribution 8
Source distribution · 0.06 KB
Distribution 9
Source distribution · 0.13 KB
Distribution 10
Source distribution · 0.06 KB
Distribution 11
Source distribution · 89.61 KB
Metadata history
Meaningful changesRecord identity
package_version:71bef40ac9bd18492f972c5cd4845d7ae4c55de0791913b6fe4e9365b2f1205c