Packages

simple_sat

v 0.1.3

A simple, dependency free boolean satisfiability solver.

Loading README...

Checksum

Dependency Config

mix.exs

rebar.config

erlang.mk

Package Details

Downloads Last 30 days, 0.1.3
0 200 400 600 800

this version

78 006

yesterday

245

last 7 days

2 863

all time

108 872

Last Updated

Apr 06, 2024

License

MIT

Build Tools

mix

Publisher

ash-project ash-project