GitHub - ash-project/simple_sat: A simple, dependency free boolean satisfiability solver.

Folders and files

Name		Name	Last commit message	Last commit date
Latest commit History 30 Commits
.github		.github
LICENSES		LICENSES
config		config
lib		lib
test		test
.check.exs		.check.exs
.credo.exs		.credo.exs
.doctor.exs		.doctor.exs
.formatter.exs		.formatter.exs
.gitignore		.gitignore
.tool-versions		.tool-versions
.tool-versions.license		.tool-versions.license
CHANGELOG.md		CHANGELOG.md
README.md		README.md
mix.exs		mix.exs
mix.lock		mix.lock
mix.lock.license		mix.lock.license

A simple, dependency free boolean satisfiability solver.

See the documentation for more.

def deps do
  [
    {:simple_sat, "~> 0.1.4"}
  ]
end

A simple, dependency free boolean satisfiability solver.