crux | Hex

crux 0.1.2

Library for boolean satisfiability solving and expression manipulation.

Links

License

MIT

Downloads

122.9K 122 920
this version
1 689 1 689
yesterday
11 026 11 026
last 7 days
126.6K 126 599
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...