rustio rustio.net
49

pindakaas

v0.5.0 Growing

Encoding Integer and Pseudo Boolean constraints into CNF

MPL-2.0 Edition 2021
AlgorithmsScienceMathematics #encoding#logic#boolean#satisfiability#sat

Quick Verdict

  • โœ“Actively maintained (updated 39d ago)
  • !Pre-1.0: API may have breaking changes

Security

Checking security advisories...
Downloads
5.1K
Dependents
10
Releases
10
Size
93KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

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

๐Ÿ”ฌ
Pre-1.0 for over a year

Despite being 3+ years old, pindakaas hasn't reached 1.0 yet. Expect potential API changes between versions.

Health Breakdown

Maintenance 14/25

Recency, release consistency, active ratio

Quality 12/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
02/263/164/34/215/95/26

Top Dependents

Most downloaded crates that depend on pindakaas

Version Adoption

v0.2.3
53%
v0.1.0
17%
v0.2.2
14%
v0.2.1
9%
v0.2.0
8%

Release Timeline

10 releases1 yankedsince 2022
J
F
M
A
M
J
J
A
S
O
N
D
2022
1
2023
2024
2025
6
2026
3
Less
More|
Yanked

Feature Flags

default =["cadical"]

kissatcadical*intel-satexternal-propagation

README

Loading README...

Maintainers

Dependencies
11
direct dependencies
Dependents
10
crates depend on pindakaas

Similar Crates