crux | Hex

crux 0.1.0

Library for boolean satisfiability solving and expression manipulation.

Links

License

MIT

Downloads

128 128
this version
599 599
yesterday
2 603 2 603
last 7 days
2 603 2 603
all time

Versions (3)

0.1.2 Oct 18, 2025
0.1.1 Oct 15, 2025
0.1.0 Oct 15, 2025

Dependencies (3)

picosat_elixir ~> 0.2 (optional)
simple_sat ~> 0.1 and >= 0.1.1 (optional)
stream_data ~> 1.0 (optional)

Recent Activity

Oct 18, 2025 Publish documentation for release 0.1.2
Oct 18, 2025 Publish release 0.1.2
Oct 15, 2025 Publish documentation for release 0.1.1
Oct 15, 2025 Publish release 0.1.1
Oct 15, 2025 Publish documentation for release 0.1.0
Oct 15, 2025 Publish release 0.1.0

Show All Activities

Config

mix.exs

rebar.config

erlang.mk

Checksum

Build Tools

mix

Owners

ash-project

Publisher

Dependents (2)

ash, ash_diagram, show all...