simple_sat

A simple, dependency free boolean satisfiability solver.

Algorithms and Data structures

Package Resources

simple_sat
ash-project/simple_sat
Documentation
Changelog

Stars

3

Unreleased Activity

1

commits

First Release

1

years ago

Last Release

6

days ago

Downloads

15.2k

last 90 days

Last Stable Version

0.1.4

Activity

last year

Pull Requests

Open 1
Merged 3

Latest Merged Pull Requests

Issues

Open 0
Closed 0

Version 0.1.4

Failed to load version 0.1.4 information.

Please refresh in a bit

Related Packages

83 packages

jumper

1.0.2

Jump consistent hash implementation in Elixir

ex_hash_ring

7.0.0

A fast consistent hash ring implementation in Elixir.

ra

2.17.1

Raft library

zipper

1.1.0

Generic Zipper Implementation for Erlang