pindakaas

Stars

—

Forks

—

Open issues

—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

• pindakaas-cadical
• pyndakaas
• pindakaas

Activity

Total releases

11

Last 12 months

10

Cadence

~44 days

Dependencies

11

Release mix

• expect-test ^1.5.0 dev
• itertools ^0.14
• libloading ^0.9
• pindakaas-cadical ^0.4.0
• pindakaas-intel-sat ^0.2.0
• pindakaas-kissat ^0.2.2
• rangelist ^0.5.0
• rustc-hash ^2.0
• splr ^0.17
• tracing ^0.1.40

• pyndakaas