Packages

A simple, dependency free boolean satisfiability solver.

Current section

Files

Jump to
simple_sat mix.exs
Raw

mix.exs

# SPDX-FileCopyrightText: 2024 simple_sat contributors <https://github.com/ash-project/simple_sat/graphs.contributors>
#
# SPDX-License-Identifier: MIT
defmodule SimpleSat.MixProject do
use Mix.Project
@description "A simple, dependency free boolean satisfiability solver."
@version "0.1.4"
def project do
[
app: :simple_sat,
version: @version,
elixir: "~> 1.13",
start_permanent: Mix.env() == :prod,
description: @description,
source_url: "https://github.com/ash-project/simple_sat",
homepage_url: "https://github.com/ash-project/simple_sat",
deps: deps(),
docs: docs(),
package: package()
]
end
defp docs() do
[
before_closing_head_tag: fn type ->
if type == :html do
"""
<script>
if (location.hostname === "hexdocs.pm") {
var script = document.createElement("script");
script.src = "https://plausible.io/js/script.js";
script.setAttribute("defer", "defer")
script.setAttribute("data-domain", "ashhexdocs")
document.head.appendChild(script);
}
</script>
"""
end
end
]
end
defp package do
[
maintainers: [
"Zach Daniel <zach@zachdaniel.dev>"
],
licenses: ["MIT"],
files: ~w(lib .formatter.exs mix.exs README* LICENSE* CHANGELOG*),
links: %{
"GitHub" => "https://github.com/ash-project/simple_sat",
"Changelog" => "https://github.com/ash-project/simple_sat/blob/main/CHANGELOG.md",
"Discord" => "https://discord.gg/HTHRaaVPUc",
"Website" => "https://ash-hq.org",
"Forum" => "https://elixirforum.com/c/elixir-framework-forums/ash-framework-forum",
"REUSE Compliance" => "https://api.reuse.software/info/github.com/ash-project/simple_sat"
}
]
end
# Run "mix help compile.app" to learn about applications.
def application do
[
extra_applications: [:logger]
]
end
# Run "mix help deps" to learn about dependencies.
defp deps do
[
# Dev/Test dependencies
{:ex_doc, github: "elixir-lang/ex_doc", only: [:dev, :test], runtime: false},
{:ex_check, "~> 0.12", only: [:dev, :test]},
{:credo, ">= 0.0.0", only: [:dev, :test], runtime: false},
{:dialyxir, ">= 0.0.0", only: [:dev, :test], runtime: false},
{:mix_audit, "~> 2.1", only: [:dev, :test], runtime: false},
{:sobelow, ">= 0.0.0", only: [:dev, :test], runtime: false},
{:git_ops, "~> 2.5", only: [:dev, :test]},
{:doctor, "~> 0.21", only: [:dev, :test]},
{:picosat_elixir, "~> 0.2", only: [:dev, :test]},
{:stream_data, "~> 1.2", only: [:dev, :test]}
]
end
end