crux

v0.1.2

Library for boolean satisfiability solving and expression manipulation.

HexDocs HexPreview

Readme 3 Dependencies 2 Dependants Activity Versions

Versions

Version	Published Date	Note
0.1.2	October 18, 2025
0.1.1	October 15, 2025
0.1.0	October 15, 2025

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