simple_sat

v 0.1.3

A simple, dependency free boolean satisfiability solver.

Online Documentation

Readme 0 Dependencies 4 Dependants Activity Versions

Loading README...

Checksum

Dependency Config

mix.exs

rebar.config

erlang.mk

Package Details

Downloads Last 30 days, 0.1.3

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

Links

Owners

ash-project