simple_sat

A simple, dependency free boolean satisfiability solver.

Algorithms and Data structures

Package Resources

simple_sat
ash-project/simple_sat
Documentation
Changelog

Stars

4

Unreleased Activity

6

commits

First Release

1

years ago

Last Release

1

months ago

Downloads

11.9k

last 90 days

Last Stable Version

0.1.4

Activity

last year

Pull Requests

Open 0
Merged 7

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

Community

Looks like this space is still empty… Want to be the first to contribute?

Share an article, talk, or podcast by adding resources to this package.

Related Packages

79 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

flow

1.2.4

Computational parallel flows for Elixir