Ash Framework:
github.com/ash-project/crux
Library for boolean satisfiability solving and expression manipulation.
https://github.com/ash-project/crux
Project activity
New Projects: 0
New Releases: 0
New Issues: 0
New Pull Requests: 0
Closed Issues: 0
Merged Pull Requests: 0
Closed Pull Requests: 0
Issue Authors: 0
Pull Request Authors: 0
Active Maintainers: 0
Time to close issues:
N/A
Time to merge pull requests:
N/A
Time to close pull requests:
N/A
Commit Stats
Commits: 0
Commit Authors: 0
Commit Committers: 0
Additions: 0
Deletions: 0
elixir sat-solver
Last synced: 20 days ago
JSON representation
Library for boolean satisfiability solving and expression manipulation.
- Host: GitHub
- URL: https://github.com/ash-project/crux
- Owner: ash-project
- Created: 2025-10-15T01:50:59.000Z (9 months ago)
- Default Branch: main
- Last Pushed: 2025-11-18T22:42:45.000Z (7 months ago)
- Last Synced: 2025-11-30T05:18:50.403Z (7 months ago)
- Topics: elixir, sat-solver
- Language: Elixir
- Homepage: https://hex.pm/packages/crux
- Size: 108 KB
- Stars: 6
- Watchers: 1
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSES/MIT.txt
-
Funding:
- Github: zachdaniel, jimsynz