Loading package details...
v0.1.4
Library for boolean satisfiability solving and expression manipulation.
{:crux, "~> 0.1.4"}[](https://gold.safeguard.sh/package/hex/crux)Meets the Gold bar from automated verification.
Last indexed: 2026-10-17T00:37:49Z
How Gold is determined →OpenSSF Scorecard rates this project's security posture — supply-chain hygiene, maintenance, and review practices.
Source: OpenSSF Scorecard · scored 2026-10-29