crux

Library for boolean satisfiability solving and expression manipulation.

ash-project
Algorithms and Data structures

Package Resources

crux
ash-project/crux
Documentation
Changelog

Stars

10

Unreleased Activity

18

commits

First Release

6

months ago

Last Release

6

months ago

Downloads

126.4k

last 90 days

Last Stable Version

0.1.2

Activity

last year

Pull Requests

Open 0
Merged 19

Latest Merged Pull Requests

Issues

Open 0
Closed 1

Version 0.1.2

Published Oct 2025 •
Elixir Version Requirement ~> 1.11
Documentation for 0.1.2

This package has no dependencies

Optional Dependencies

Dependencies that are not required by default but can be installed or enable additional features or functionality

Changelog for 0.1.2
Inspect source for 0.1.2

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

91 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

3.1.5

Raft library

flow

1.2.4

Computational parallel flows for Elixir