Fixpoint SAT solver
SAT solver for Elixir
Status
Proof of concept.
Installation
If available in Hex, the package can be installed
by adding fixpoint_sat
to your list of dependencies in mix.exs
:
def deps do
[
{:fixpoint_sat, "~> 0.1.0"}
]
end
Documentation can be generated with ExDoc and published on HexDocs. Once published, the docs can be found at https://hexdocs.pm/fixpoint_sat.