crux 0.1.0
Library for boolean satisfiability solving and expression manipulation.
License
MITDownloads
-
0
0
this version -
0
0
yesterday -
0
0
last 7 days -
0
0
all time
Versions (1)
- 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 15, 2025 Publish documentation for release 0.1.0
- Oct 15, 2025 Publish release 0.1.0
Config
mix.exs
rebar.config
erlang.mk
Checksum
Build Tools
mix
Owners
Publisher
ash-project