crux

0.1.2

0.1.2 0.1.1 0.1.0

Library for boolean satisfiability solving and expression manipulation.

HexDocs HexPreview

Current section

Readme

Jump to

Readme 3 Versions 3 Dependencies 2 Dependants Activity

Loading README...

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

222 574

yesterday

963

last 7 days

12 840

all time

226 329

Last Updated

Oct 18, 2025

License

MIT

Build Tools

mix

Publisher

Links

Owners

ash-project