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.2.0
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.6 KB
Metadata history
Meaningful changesRecord identity
package_version:aaaeff4b806dc98cd9731f96e89e73c76e93f21d23cfb6d21dbdc895aa26d628