crux

Library for boolean satisfiability solving and expression manipulation.

ash-project
Algorithms and Data structures

Package Resources

crux
ash-project/crux
Documentation
Changelog

Stars

12

Unreleased Activity

1

commits

First Release

7

months ago

Last Release

21

days ago

Downloads

155.8k

last 90 days

Last Stable Version

0.1.3

Activity

last year

Pull Requests

Open 0
Merged 24

Latest Merged Pull Requests

Issues

Open 0
Closed 3

Version 0.1.3

Published May 2026 •
Elixir Version Requirement ~> 1.11
Documentation for 0.1.3

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.3
Inspect source for 0.1.3

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

81 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.

flow

1.2.4

Computational parallel flows for Elixir

circular_buffer

1.0.1

General purpose circular buffer.