SimpleSat
A simple, dependency free boolean satisfiability solver.
See the documentation for more.
Installation
def deps do
[
{:simple_sat, "~> 0.1.3"}
]
endA simple, dependency free boolean satisfiability solver.
See the documentation for more.
def deps do
[
{:simple_sat, "~> 0.1.3"}
]
end