crux

v0.1.2

Library for boolean satisfiability solving and expression manipulation.

HexDocs HexPreview

Readme 3 Dependencies 2 Dependants Activity Versions

Loading README...

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, 0.1.2

this version

185 539

yesterday

1 916

last 7 days

10 552

all time

189 261

Last Updated

Oct 18, 2025

License

MIT

Build Tools

mix

Publisher

Links

Owners

ash-project