PkgFoundry
Catalog Hex
Back to packageRELEASE DETAILS

0.1.9

Hex

fixpoint_sat

SAT Solver

Published16 May 2026
Direct dependencies1
Transitive dependenciesNot calculated

Downloads & popularity

141downloads
Cumulative counter · observed snapshots24 Oct 2026
141136.3131.5
2026-10-20: 137 · observed 2026-10-20T23:29:43.7248256Z2026-10-22: 139 · observed 2026-10-22T19:40:50.4899199Z2026-10-24: 141 · observed 2026-10-24T14:38:05.7073381Z
20 Oct24 Oct

hex · 3 observations shown. Missing days are unknown. Counter changes are not daily download totals.

View observed values
Date / source periodValueObserved at
2026-10-241412026-10-24T14:38:05.7073381Z
2026-10-221392026-10-22T19:40:50.4899199Z
2026-10-201372026-10-20T23:29:43.7248256Z

Declared dependencies 1

Native requirements
1 direct targetsNot calculated transitive count
Package / targetRequirementRelationship
fixpoint
Environment
{
  "app": "fixpoint",
  "repository": ""
}
~> 0.15runtime

Distribution files

0 collected

No distribution files are present in the collected metadata.

Repository

PENDING
bokner/fixpoint_sat

Shared repository data · GitHub

License detected in repository
Not collected

Metadata history

Meaningful changes
Current collected state Current

Observed since 20 Oct, 23:29 UTC

No superseded metadata states collected. Unchanged observations do not create new revisions.

Record identity

package_version:e044479003b10159bc0f5eaa8a5b685dd9b4efa6b38b24c1f052f7df036bb23a

Other collected versions

View all collected versions →