pindakaas-cadical

v0.3.2 Experimental

build of the Cadical SAT solver for the pindakaas crate

MIT Edition 2021

Algorithms Science Mathematics #encoding#logic#boolean#satisfiability#sat

GitHub ↗ crates.io ↗ Compare with…

Quick Verdict

!Pre-1.0: API may have breaking changes
✓Tiny footprint (494KB, 1 deps)
✓Permissive license (MIT)

Security

Checking security advisories...

Downloads

3.5K

Dependents

Releases

Size

494KB

Deep Insights

📈

Strong growth momentum

605 downloads in the last 30 days (20/day), up 65% from the previous period.

🪶

Minimal dependencies

Only 1 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.

Health Breakdown

Maintenance 17/25

Recency, release consistency, active ratio

Quality 14/25

Yanked ratio, deps, size, maturity, features

Community 9/20

Reverse deps, ownership, ecosystem

Popularity 4/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 pindakaas-cadical

pindakaas

5.1K dl 49

Version Adoption

v0.2.1

65%

v0.1.0

17%

v0.2.0

v0.3.0

v0.3.2

Release Timeline

6 releasessince 2025

2025

2026

Less

Feature Flags

tracing

README

Loading README...

Maintainers

Jip J. Dekker

13 crates

Dependencies

direct dependencies