Packages

A simple, dependency free boolean satisfiability solver.

Current section

Files

Jump to
simple_sat README.md
Raw

README.md

# SimpleSat
A simple, dependency free boolean satisfiability solver.
See the [documentation](https://hexdocs.pm/simple_sat) for more.
## Installation
```elixir
def deps do
[
{:simple_sat, "~> 0.1.0"}
]
end
```