Current collected state Current
Observed since 20 Oct, 19:17 UTC
No superseded metadata states collected. Unchanged observations do not create new revisions.
crux
Library for boolean satisfiability solving and expression manipulation.
hex · 3 observations shown. Missing days are unknown. Counter changes are not daily download totals.
| Date / source period | Value | Observed at |
|---|---|---|
| 2026-10-24 | 341,266 | 2026-10-24T10:03:14.1772686Z |
| 2026-10-22 | 331,040 | 2026-10-22T14:56:43.5485879Z |
| 2026-10-20 | 319,935 | 2026-10-20T19:17:51.1286566Z |
| Package / target | Requirement | Relationship |
|---|---|---|
picosat_elixirEnvironment{
"app": "picosat_elixir",
"repository": ""
} | ~> 0.2 | optional |
simple_satEnvironment{
"app": "simple_sat",
"repository": ""
} | ~> 0.1 and >= 0.1.1 | optional |
stream_dataEnvironment{
"app": "stream_data",
"repository": ""
} | ~> 1.0 | optional |
No distribution files are present in the collected metadata.
Observed since 20 Oct, 19:17 UTC
No superseded metadata states collected. Unchanged observations do not create new revisions.
package_version:ec714ccd2f57ce63bb687d066c954d3e942acb66ef045af6c276306e7b095b63