simple_sat 0.1.3
A simple, dependency free boolean satisfiability solver.
License
MITDownloads
-
72 652
72 652
this version -
98
98
yesterday -
619
619
last 7 days -
80 642
80 642
all time
Versions (5)
Dependencies (0)
Recent Activity
- Oct 15, 2025 Publish documentation for release 0.1.4
- Oct 15, 2025 Publish release 0.1.4
- Apr 06, 2024 Publish documentation for release 0.1.3
- Apr 06, 2024 Publish release 0.1.3
- Apr 05, 2024 Publish documentation for release 0.1.2
- Apr 05, 2024 Publish release 0.1.2
- Mar 26, 2024 Publish documentation for release 0.1.1
- Mar 26, 2024 Publish release 0.1.1
- Feb 24, 2024 Publish documentation for release 0.1.0
- Feb 24, 2024 Publish release 0.1.0
Config
mix.exs
rebar.config
erlang.mk
Checksum
Build Tools
mix
Owners
Publisher
ash-project