crux | Hex

crux 0.1.2

Library for boolean satisfiability solving and expression manipulation.

Links

License

MIT

Downloads

10 453 10 453
this version
724 724
yesterday
4 583 4 583
last 7 days
13 128 13 128
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...