crux | Hex

crux 0.1.2

Library for boolean satisfiability solving and expression manipulation.

Links

License

MIT

Downloads

93 711 93 711
this version
1 325 1 325
yesterday
7 934 7 934
last 7 days
97 045 97 045
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...