crux

0.1.3

Library for boolean satisfiability solving and expression manipulation.

Current section

2 Dependants

Jump to

Packages depending on crux

2 packages

2 packages of 2 total

mix.exs

rebar.config

Gleam

erlang.mk

Downloads Last 30 days, all versions

this version

32 014

yesterday

3 576

last 7 days

20 734

all time

310 259

Last Updated

May 18, 2026

License

MIT

Build Tools

mix

Publisher

Operator	Description	Example
name:	Match package name. Supports * wildcards and repo/package form	name:phx* or name:hexpm/phoenix
description:	Full-text search of package descriptions	description:auth
depends:	Packages depending on a given package. Supports repo:package form	depends:ecto or depends:hexpm:ecto
build_tool:	Filter by build tool	build_tool:mix
updated_after:	Packages updated after an ISO8601 datetime	updated_after:2025-01-01T00:00:00Z
extra:	Match custom metadata (key,value). Nested keys are separated by commas	extra:license,MIT