crux

Library for boolean satisfiability solving and expression manipulation.

Algorithms and Data structures

Package Resources

crux
ash-project/crux
Documentation
Changelog

Stars

6

Unreleased Activity

Up to date

First Release

7

days ago

Last Release

3

days ago

Downloads

1.7k

last 90 days

Last Stable Version

0.1.2

Activity

last year

Pull Requests

Open 0
Merged 7

Latest Merged Pull Requests

Issues

Open 0
Closed 0

Version 0.1.2

Failed to load version 0.1.2 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