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