crux | Hex

crux 0.1.2

Library for boolean satisfiability solving and expression manipulation.

Links

License

MIT

Downloads

186 186
this version
382 382
yesterday
1 664 1 664
last 7 days
1 664 1 664
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...