# 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.3"}
  ]
end
```