elenchus-compiler

v0.15.0 Experimental

Compiles parsed elenchus DSL into a canonical Impossible/CNF clause IR: import resolution, desugaring, atom interning, content-addressed dedup.

MIT Edition 2024

No standard library Mathematics Compilers #logic#sat#verification#no-std#inference

GitHub ↗ crates.io ↗ Compare with…

Quick Verdict

✓Actively maintained (updated 9d ago)
!Pre-1.0: API may have breaking changes
✓Permissive license (MIT)

Security

Checking security advisories...

Downloads

536

Dependents

Releases

Size

73KB

Deep Insights

📊

Download activity

536 downloads in the last 30 days (18/day avg).

Health Breakdown

Maintenance 15/25

Recency, release consistency, active ratio

Quality 15/25

Yanked ratio, deps, size, maturity, features

Community 11/20

Reverse deps, ownership, ecosystem

Popularity 3/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days

0/day avg

Top Dependents

Most downloaded crates that depend on elenchus-compiler

Version Adoption

v0.13.0

22%

v0.15.0

22%

v0.12.0

20%

v0.9.1

19%

v0.9.2

18%

Release Timeline

10 releasessince 2026

2026

Less

Feature Flags

default =["std"]

std*

README

Loading README...

Maintainers

Mansur

10 crates

Dependencies

direct dependencies