Packages

simple_sat

0.1.4
0.1.4 0.1.3 0.1.2 0.1.1 0.1.0

A simple, dependency free boolean satisfiability solver.

HexDocs

Current section

Files

Jump to
Readme
5 Versions
0 Dependencies
Dependants
Files
Activity
simple_sat README.md
Raw

README.md 

<!--

SPDX-FileCopyrightText: 2020 Zach Daniel

SPDX-FileCopyrightText: 2024 simple_sat contributors <https://github.com/ash-project/simple_sat/graphs.contributors>



SPDX-License-Identifier: MIT

-->

![Elixir CI](https://github.com/ash-project/simple_sat/workflows/CI/badge.svg)

[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)

[![Hex version badge](https://img.shields.io/hexpm/v/simple_sat.svg)](https://hex.pm/packages/simple_sat)

[![Hexdocs badge](https://img.shields.io/badge/docs-hexdocs-purple)](https://hexdocs.pm/simple_sat)

[![REUSE status](https://api.reuse.software/badge/github.com/ash-project/simple_sat)](https://api.reuse.software/info/github.com/ash-project/simple_sat)





# 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.4"}

  ]

end

```